可构造宇宙V=L：
X# r& i6 Z) z* _7 S定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得: z$ ^* }, r* B) r& g2 q+ R
x = {y∈X :φ[y,u,u,u,……]; E) m2 X6 ?& r% y+ d
然后：
( i- z: W% y6 D0 y( J5 ~L=
9 T1 I. [. L1 X. z- o' TL=Def(L1)={}=15 M$ a8 d. d6 a- d% B! x5 W
Ln+1=Def(Ln)=n
" j( S2 f) \+ dLω=∪＿k<ω Lω
6 a0 Q$ d0 |: x q9 P8 k+ vLλ=∪＿k<λ λ is a limit ordinal
( y+ \# w' x. o* r: T @( [, O' t/ k: C是极限序数# f8 K" _ x, e4 Q: n+ f+ B
L=∪＿k Lk，k跑遍所有序数
: [+ [* |5 T$ S7 n/ B& u2 @) g1 Q遗传序数可定义宇宙HODs：
7 Y* f ]0 b- ?5 e- ?9 U) I6 \6 T3 O) q
HOD=V4 ^6 L4 G! s& d: K' K: c F
/ _. r0 H3 M, t4 ?
HOD=HOD^
; z, ^; s2 r! I# x* F" n4 G- a1 I e( [& ~& [
HOD^ω=∩＿n<ω HOD
]2 a* x8 Z% v4 f$ `) e& M$ Y: k; B) l. `
H=V( |' i A/ B! s% t8 m6 ^) [
a( r9 m+ ~! \0 {6 mH^α+1=HOD^/ ]/ L: g% i# F, H: e
- v) q) k6 Y" J8 x3 V0 PHOD^η=∩α<η HOD^α
2 K$ x: d% a( K7 w( w( N3 M/ @ m1 @/ c' Z& L
对所有HODs的脱殊扩张
/ ?3 {/ }( {/ Y
. I3 ?6 w$ m; Q) \( I; m; h6 w2 |gHOD=∩HOD^V[G]
( C7 p7 |8 {. E( D或许还有：6 x# U7 ]5 T) M- z
序数宇宙V=ON
7 t& J* l z7 g/ g0 a0 e0 r' Q良序宇宙V=WO# x$ s' v J, A# A, m5 `9 |( K
良基宇宙V=WF
- F+ c7 b4 Z2 H1 C3 X- u- E于是可能：
! a. W5 s T/ u3 v2 H0 WV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43