可构造宇宙V=L：3 h8 [0 ` e) C- }% C
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
. P6 T2 b% ]" M& Sx = {y∈X :φ[y,u,u,u,……]0 T0 q/ X x: i3 t
然后：
4 V/ o& F% @, z' y4 h" ?L=& n' d. m8 G5 X, r0 f
L=Def(L1)={}=1
& K2 N: ]* ~, RLn+1=Def(Ln)=n
( N3 o. Y6 X/ g9 a, aLω=∪＿k<ω Lω
+ h6 }$ O/ q. k2 HLλ=∪＿k<λ λ is a limit ordinal
, Z& b% E2 V. F% r8 L8 C2 s: B, G是极限序数
4 k7 C* s& N4 ~( Z a0 B XL=∪＿k Lk，k跑遍所有序数
, |' o' t1 w: I6 N+ ~- D遗传序数可定义宇宙HODs：+ i! o. X+ B3 m( J$ ^# ?
d, m6 ~0 q( uHOD=V) V5 }/ i! k) a. L) C. n8 O) P! c
n, y$ Z( u7 b' }4 \0 gHOD=HOD^
K9 z4 F4 M# [% i+ ~% h/ {+ F! F; |& X3 b; K+ t, E% R* g9 P# V& Y
HOD^ω=∩＿n<ω HOD
! A% o* Q2 D) T9 k1 o9 K# E" ^, x" K% Q% q( B
H=V
& e& R9 {6 q& z4 F0 c3 m) y- f2 y# }& g
H^α+1=HOD^% }# L' |- B) T1 G0 T2 k# S
+ u( o$ F0 i; @* m4 T0 H3 N9 Z: |
HOD^η=∩α<η HOD^α; E% t2 W! T) F: U% u
8 m( x9 {9 p0 t: [1 a
对所有HODs的脱殊扩张1 O8 A; E+ x- F% N s/ I; v
+ _, ?; Q6 U( @6 AgHOD=∩HOD^V[G]4 r! U s7 b: Z$ W+ `
或许还有：
" l; H/ w3 j- f0 a. I. C序数宇宙V=ON- a w k6 n; j, p2 |6 |
良序宇宙V=WO
# u% K; w, Q' m$ `8 y4 c( l e良基宇宙V=WF
6 M& J9 g$ b E8 T于是可能：
) ^) \8 e2 [+ D# R1 XV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43