可构造宇宙V=L：
2 J2 L/ Z( I( h5 E- o定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得( s, k7 B3 a# C
x = {y∈X :φ[y,u,u,u,……]- }0 R% K! R. ?) c
然后：
9 E% U5 `8 ]! g8 N# l5 p XL=3 q5 I. l( d2 g4 V3 X) z3 o5 f; q
L=Def(L1)={}=1
( w0 \: z. C, E/ N' Q; jLn+1=Def(Ln)=n
) t7 M, M. n% WLω=∪＿k<ω Lω
+ O. E8 ~( m4 _. CLλ=∪＿k<λ λ is a limit ordinal' G- P6 A* c5 b6 C, g* S
是极限序数
( t9 J1 P; ^# tL=∪＿k Lk，k跑遍所有序数
; A/ v- o1 [; I' u遗传序数可定义宇宙HODs：+ \! L* Y/ T+ p& u
% g$ S3 s+ I T/ J1 _HOD=V
* c3 D5 _6 j+ i0 d9 K! `8 v, z
$ e1 @; U# l! F0 r' zHOD=HOD^+ }4 b- N2 Z' X3 j
- _/ P/ _+ J* s3 @$ V# X6 [
HOD^ω=∩＿n<ω HOD
- t* Z4 Z, C4 I7 X# i
}* A7 @+ k2 N( ]& F, ?2 ]4 fH=V9 r. I- ? s0 S7 y2 e
$ D3 \6 d+ @" h% w% H- H
H^α+1=HOD^8 X6 ^7 {, i) i% \5 k
- m s+ N+ b! rHOD^η=∩α<η HOD^α
/ b( X* @1 o$ z: E- L) @( T6 F" y, I' b9 X6 o) B, }: t
对所有HODs的脱殊扩张
9 `1 F6 g: _& R5 y! f6 {* p
+ L' J, U( T0 [ d# J' i3 xgHOD=∩HOD^V[G]
: u _) ~8 ]* F5 {7 \3 |; U& W或许还有：$ w) m8 R# i& m: i6 y9 ~
序数宇宙V=ON9 O I' D, l; O7 c! N2 e: V
良序宇宙V=WO
; B( [- T4 r1 t H/ g良基宇宙V=WF, N2 ]2 ?4 ~$ J y
于是可能：$ S1 a4 y0 o4 t" a0 F. c# n
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43