可构造宇宙V=L：9 S3 z, ]; I5 [
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
' w2 {+ x5 H t; P( ]+ gx = {y∈X :φ[y,u,u,u,……]
" J5 F% _. \4 V! r5 _, o然后：- A$ {$ G3 G! Q1 T7 d: g
L=
2 G4 ?3 M* W# }L=Def(L1)={}=1
& F* c5 z8 w+ O2 H! w$ E6 Q& [Ln+1=Def(Ln)=n
+ l! X, X2 P6 m" @Lω=∪＿k<ω Lω
1 V: s, O8 \6 @& E- `, U+ Z! s J1 CLλ=∪＿k<λ λ is a limit ordinal J6 K- @+ J d; j/ a# k/ g4 x! n
是极限序数
9 [' H# g) F/ E7 RL=∪＿k Lk，k跑遍所有序数0 _# i8 i* R' c
遗传序数可定义宇宙HODs：; ?) M( ?. Z/ n+ t. K+ |0 q
+ H; }7 e/ f1 Z# a* I/ t8 K3 ?6 NHOD=V
, V7 S/ H9 C2 O; O( ~2 N% B4 K2 y- B$ g" t' j9 L0 u
HOD=HOD^
4 P+ A" V7 B, g6 N& A, p
0 F% r, w2 E+ n- m% YHOD^ω=∩＿n<ω HOD4 c. t" s# C$ `$ f0 h7 L
* \2 }" s% h1 Z$ f% `( \
H=V5 a: h4 q; _- R6 j1 G' \: B
1 z7 F. V2 X+ ZH^α+1=HOD^
g" W& x8 I8 G, O
y) p1 l$ y3 Q1 r2 @HOD^η=∩α<η HOD^α+ b8 r, W& i! t/ Q5 d$ N3 ?
) U) r8 x8 J9 f m( k' e9 Y
对所有HODs的脱殊扩张# L0 J/ Q7 \/ D1 m. [9 A
4 x" v, z; z6 w, x3 h$ S7 LgHOD=∩HOD^V[G]& ?9 U3 {7 B/ x
或许还有：9 _; ?: h" s9 a/ A
序数宇宙V=ON0 L7 m. O! T5 ?& o/ J8 l* V. Y: c
良序宇宙V=WO% r! I! q4 T' Q1 B% {3 A& v
良基宇宙V=WF8 j+ c3 P% N- U' H
于是可能：0 ^+ E" }2 e" q) q% ^. T* R
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43