可构造宇宙V=L：
# I9 ^8 x$ f( E* m5 j( c6 e9 L, D定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得/ K4 ], i% }. c l! q/ `
x = {y∈X :φ[y,u,u,u,……]8 N, A! V; V% z' Z; i$ U a* [4 Q
然后： O+ ~, z# H8 @2 a2 U4 y2 D
L=
- L/ _0 h8 w4 K, z3 w5 ~L=Def(L1)={}=1
& Q- ?" p! `4 }8 ?8 PLn+1=Def(Ln)=n
; }* f1 F q9 J( H$ R8 W7 E) sLω=∪＿k<ω Lω4 x7 a9 n: s( j) v: P% ^
Lλ=∪＿k<λ λ is a limit ordinal
2 I" l# \( f7 W0 c: f$ J" A: x是极限序数
/ g5 F; [7 X6 L: h2 X. D. qL=∪＿k Lk，k跑遍所有序数
1 O- h8 ]7 O; X. O4 J遗传序数可定义宇宙HODs：
- }7 J9 A' s$ Q8 X. S w# p: y4 S$ U/ K: _5 J
HOD=V
' N/ J# \& K3 k& @0 T" p; X* q! H, o0 z+ o
HOD=HOD^
: t! `9 h' M E `- z# u* g( [) V& |& D* |
HOD^ω=∩＿n<ω HOD5 z2 P M3 v8 B- C, R; i; K
7 K! |) l1 d7 C( b& N+ G: J; E5 }H=V
O* q' }( r7 b5 T, o1 \ m
d1 n- L; F6 N$ Z$ _6 \H^α+1=HOD^
' s* E- K4 g7 z1 C) u; F% |! M! N. v" q' K: s# c
HOD^η=∩α<η HOD^α# w0 y3 D1 Z0 A2 ?/ [' u
, `( E/ m9 P3 b- x对所有HODs的脱殊扩张8 C# c7 Y3 w$ C% P
8 Q X2 M- p, V
gHOD=∩HOD^V[G]
. L9 i' T; d: I; n% x/ Y$ l3 i或许还有：
2 k9 w4 N- `0 h序数宇宙V=ON, C$ P3 o. N9 Q6 p: N
良序宇宙V=WO0 `4 g6 {+ G: C7 Z
良基宇宙V=WF) y& U8 }5 y' K6 \7 r) u
于是可能：
: j U0 B, T% EV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43