可构造宇宙V=L：
: M: Y8 _3 P1 l8 q7 ?; t定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得" T p0 J+ E( |2 |
x = {y∈X :φ[y,u,u,u,……]
8 Z( x5 o* T4 e1 [) }/ Z) j然后：4 d; n6 J6 l4 n* G
L=2 V' T$ f4 x$ I. `/ j* m
L=Def(L1)={}=1; e( f8 U( g3 d- `$ W g
Ln+1=Def(Ln)=n2 E5 {) G2 C% E
Lω=∪＿k<ω Lω; x/ {3 |- x7 z3 j2 t2 |
Lλ=∪＿k<λ λ is a limit ordinal) s" _5 F" R- {3 Q" ]
是极限序数
6 |( A. r& E c( FL=∪＿k Lk，k跑遍所有序数
( Z/ M/ g3 P" j# U遗传序数可定义宇宙HODs：
7 L- g: I2 ?; J% P; Y5 `3 [/ L0 n0 s- H
HOD=V
, r X2 w6 Y: h/ r4 ~5 |: h. l2 J/ M# _( @; w4 r
HOD=HOD^
) S$ v' x! W! c) } u' {* |# Y. `+ i! M0 ~5 _
HOD^ω=∩＿n<ω HOD
/ }; v" A. U) b' [* [* k: F# ^
. r' i" y: d0 ~3 C/ X ]0 EH=V; J" `, f) ]+ I! Q/ U! C( |% A9 C
/ X0 d3 G1 |/ }: i% ^6 j8 ?H^α+1=HOD^
2 b0 ?: x# F ?, {, g5 X9 G/ [+ |+ v3 j- c5 m. N# J
HOD^η=∩α<η HOD^α0 M. i, c1 L' W! H: a
' c+ }% l4 A$ S0 w& { y+ t( Y
对所有HODs的脱殊扩张3 E# Y% y7 v7 I: M/ G
6 h' t/ W4 h7 X) D3 t1 v: IgHOD=∩HOD^V[G]9 r3 M" b7 K$ i- I& w
或许还有：* b4 [; G' o1 j. c' N5 E$ v
序数宇宙V=ON0 z: b7 j. L1 j
良序宇宙V=WO
0 F- B: x& B p4 l; f2 \' M良基宇宙V=WF6 I6 X! l% E4 ~. m$ m3 ^
于是可能：
2 S8 i: J) W0 N2 b1 y2 bV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43