可构造宇宙V=L：4 {1 s& h0 C; k# m, a4 l5 |, q
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
8 U) Q5 D) q( v: Fx = {y∈X :φ[y,u,u,u,……]9 e9 s. c5 ^ j, E" \
然后：
$ g" l$ G$ ]# r% }4 EL=
/ l# b. @; |: `1 B9 R% Z( ^L=Def(L1)={}=1
B# I3 L5 V( w" wLn+1=Def(Ln)=n
. n e5 u5 ]7 _; F' \Lω=∪＿k<ω Lω2 u5 U0 T, E: A q t
Lλ=∪＿k<λ λ is a limit ordinal( K1 A) S& V9 U E1 _
是极限序数3 z5 G1 T; {( v
L=∪＿k Lk，k跑遍所有序数 a- b. Z' i" P5 x' G% E
遗传序数可定义宇宙HODs：0 }, t2 z7 \' N' K
* c4 R" P1 s8 c
HOD=V
4 a8 [& u& o' t' N; R5 j6 H0 v
2 K8 I" H; J' ^* _' e ~( dHOD=HOD^1 c- s. }6 U3 v/ l
8 j4 ^" ?5 v5 z3 L( F2 U5 O7 R
HOD^ω=∩＿n<ω HOD
( j) {8 M5 n) ]( I( v M5 \( D) B4 U! P) _0 P; G3 n- Z9 ~) P
H=V
( J0 R% y1 J: s# q4 ~8 |) [% c3 l# k+ \
H^α+1=HOD^
- h5 ?, j4 |, t+ {4 U M
! h% Z( [0 ]1 j$ j$ HHOD^η=∩α<η HOD^α
; r) r: w3 N9 w, R$ W0 b: P/ |7 E9 K' l q! A. x' x
对所有HODs的脱殊扩张" B* x( C( t5 g: ], s' D
- @) z2 E$ |' G2 R
gHOD=∩HOD^V[G]1 l( I. F1 B* B% s1 Z% B; N; a
或许还有：
" T2 d* D4 w6 n; h序数宇宙V=ON2 t$ s- e* a3 h \5 U; }: r/ }
良序宇宙V=WO0 s5 J& i/ n- g
良基宇宙V=WF
5 u0 P0 u8 r- [) i: y# V于是可能：
2 l1 b! @$ Z4 c( z. r7 Y) YV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43