可构造宇宙V=L：2 N( t5 v& T3 p' g7 C c2 ^. q5 {
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得0 n& O9 c& I' z" U- k9 k4 s7 P4 H9 E
x = {y∈X :φ[y,u,u,u,……]
3 o* ~ C8 y. _) E8 v1 u! Y3 C然后：0 f v( Z8 \# E
L=% N: r5 e. r6 h+ D5 t# q1 v# P: P3 V/ y
L=Def(L1)={}=1
2 q% ]8 G2 B: O8 _Ln+1=Def(Ln)=n6 \5 \ D h) O
Lω=∪＿k<ω Lω
4 E6 J% u. c# i# Z* tLλ=∪＿k<λ λ is a limit ordinal' I& y) T5 v: m1 `
是极限序数. f7 G8 J X. s: @4 }# G" \0 O
L=∪＿k Lk，k跑遍所有序数# ?/ p- h) ?' `& L
遗传序数可定义宇宙HODs：7 Z' {, Q) R, ~9 W& `% p. S0 B
. X, D8 ?. A1 _' S( l: J+ YHOD=V3 p# N; {3 i/ O( l. {
) e& i$ u, Q. Y4 b' X DHOD=HOD^
3 l% U2 j* Y: z1 D5 ?& d$ ^1 G: N* e# _
HOD^ω=∩＿n<ω HOD
0 Q U8 | I0 R$ D' x) X9 I5 t$ E5 f% \1 b2 @5 C3 {' ~2 S
H=V% _8 Q8 ~+ J1 K
( I+ j( H/ e0 K+ X, g0 u
H^α+1=HOD^
2 _+ [ \* b+ N( e+ y7 v K3 i. h' ?6 O" R! ~
HOD^η=∩α<η HOD^α
& H; i7 L% T) H8 y3 |# \9 e
+ x: d& {# V* v3 A对所有HODs的脱殊扩张
0 F, |( ]( I. ?8 I& T1 j
& E) _2 V: D/ e2 T, T/ qgHOD=∩HOD^V[G]
5 b/ C4 {; M6 p) K( n2 D/ S3 L: n5 \或许还有：
e/ n7 i1 t! A5 M7 w+ p: M序数宇宙V=ON
# Y* C, _% ] m& ?% W' r良序宇宙V=WO/ P E' n( }! G
良基宇宙V=WF/ c& m: _& e/ s
于是可能：8 [& J2 i* [; B# y$ |8 ]2 S- X, K4 M
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43