可构造宇宙V=L：7 K* D0 m2 s2 {8 m% j
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得: E/ i, P+ H V, s% P4 V
x = {y∈X :φ[y,u,u,u,……]# W/ j, z, z4 H2 n; t- O( H' k* K/ B( @
然后：
: H0 i! e u3 d: x* i: GL=) m+ M: a, M1 {7 @
L=Def(L1)={}=1% r1 | X* V7 V" V2 L+ k3 L
Ln+1=Def(Ln)=n+ D3 }, {+ A' A
Lω=∪＿k<ω Lω: F5 @0 S% o5 x
Lλ=∪＿k<λ λ is a limit ordinal5 C' x" d2 ~! r9 e
是极限序数2 X5 t9 h1 Q1 ?3 @& |* `& l
L=∪＿k Lk，k跑遍所有序数
- n' O- Z1 o5 U" B* b! }遗传序数可定义宇宙HODs：
! }! s: S8 _/ i" o0 x) r; v# U$ a
- @) I# F: M: B! dHOD=V2 C7 z5 v8 ^0 r: |
U7 o' }) K0 m) Y. O2 LHOD=HOD^
/ R/ _! }0 k# ^5 |4 L5 K2 k2 [9 M. s1 y2 a2 ]# i0 y- m( D3 n
HOD^ω=∩＿n<ω HOD' }7 I) w. [. G
, U' Q3 n# K0 T+ b" M; g( H1 O
H=V% O, r, q! b/ R9 r& N. @
, j2 I( I7 S8 C+ \
H^α+1=HOD^" u3 y! I% O, w4 {
Y1 P; ~. X. Q2 CHOD^η=∩α<η HOD^α
) v/ V. p. u3 \2 s/ P7 p/ j! y x( Y1 X7 I8 y8 i4 o
对所有HODs的脱殊扩张: X: b4 u& O6 U$ C9 u( N
: Q1 K4 P% O! |5 U
gHOD=∩HOD^V[G]
0 h/ T2 p4 Q. d" d或许还有：& O( a- [: ^2 T5 f, s
序数宇宙V=ON
" E, |7 e& q9 E5 L5 `3 W, f2 R. e7 W q良序宇宙V=WO
5 I4 ~3 k2 ^1 l& H- ~" ~1 f3 K良基宇宙V=WF/ H, r3 U$ ?6 h0 L" X+ _
于是可能：4 i; v, s7 b! K+ \
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43