可构造宇宙V=L：
+ ~1 }' H8 F w! V定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得$ `/ H# H+ P4 {5 p. D5 E# l
x = {y∈X :φ[y,u,u,u,……]
0 _! q& ^5 D: B然后：6 M% `4 O8 ^6 k' B8 g
L=
& O: a b4 _( r1 _, `L=Def(L1)={}=1! W6 S Q# P, I" p
Ln+1=Def(Ln)=n
7 r+ U; d8 o9 w# W" ULω=∪＿k<ω Lω" R* t" q+ N2 ~+ A7 @# y
Lλ=∪＿k<λ λ is a limit ordinal. Q! m! ^# R# J9 C8 S L, ^' _
是极限序数. g. d8 I! j% q# h4 o0 \) x5 p
L=∪＿k Lk，k跑遍所有序数- D# p5 a/ \- @
遗传序数可定义宇宙HODs：
6 E7 i* B9 m7 O: P( y& ]3 _ a* t% j% a) e* h+ w# H
HOD=V
& y2 o( [% ^* ~+ f
+ ?' K. A! ]2 |+ A: G dHOD=HOD^ P) ]* M2 p8 b. ]) ?& Q6 @% \/ g
1 O% `8 I" K+ H6 }, J5 d/ `HOD^ω=∩＿n<ω HOD1 A6 |* }0 A: H0 ^4 A6 ~
$ | B! t/ u) x' [6 h) h; y0 z! BH=V. ~" _ w2 m* `; D
; b+ u& @* }* D! i8 _H^α+1=HOD^
+ U+ h: e( ]" g' @
f/ @% a) I5 H- T, b, JHOD^η=∩α<η HOD^α
( r9 V# M; V9 x5 \1 F2 ?0 v# z" k1 \: Z, C- k( s) ]
对所有HODs的脱殊扩张# y; D% Y4 W8 `
( f) b. B; h1 n5 u/ M- t4 n
gHOD=∩HOD^V[G]3 ^3 D' I) z9 D) C7 l- }
或许还有：
. y; X6 ^# [6 o序数宇宙V=ON
3 z; R$ o- }2 X, L3 O良序宇宙V=WO
1 u6 O! f5 Q2 B3 T良基宇宙V=WF
/ t& G3 w( }( p4 W/ f于是可能：
& n0 ~* l, X8 H* p5 d8 b; } z" zV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43