可构造宇宙V=L：
. u0 _5 s; W: j0 e1 V/ a定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
! z5 }4 X5 T5 }$ v0 wx = {y∈X :φ[y,u,u,u,……]
/ y& I+ y. M+ ?6 x3 A' M然后：
# k0 p% T6 j- ^4 C. X5 xL=
1 ^5 ]$ h& Q0 I4 t" |! B* ~L=Def(L1)={}=1
9 ?6 P7 l% I! O" ~! p* O4 _Ln+1=Def(Ln)=n k( k* Q, w3 l) `" e' a. N0 K
Lω=∪＿k<ω Lω
; \0 [' D3 l* ?3 A. OLλ=∪＿k<λ λ is a limit ordinal
: F W" I/ ]% ]是极限序数
! {3 ?0 g6 C& G, \: N4 L' ^L=∪＿k Lk，k跑遍所有序数
( j" X& a9 g8 x5 |$ o4 `& h0 ]遗传序数可定义宇宙HODs：
2 ^1 e6 [' a/ y" ^/ c6 Y$ ]6 e" R2 A" C0 u/ K j& i
HOD=V9 q5 Q2 q$ E! L) J- r
) Z( c3 h; F/ ~, j9 UHOD=HOD^1 X( @$ c# n. A
# B8 H3 p1 w8 b: h9 [/ f+ r- ~/ j" PHOD^ω=∩＿n<ω HOD- y7 \- {1 |, m# `1 I* c
' v' }. E4 ?- s* K8 p$ T
H=V
4 I7 P3 c& h2 J& |2 @5 i! F* c6 Z' Z3 r9 O* B# k. ^6 E2 h
H^α+1=HOD^) U! K* c% O* i' _
4 g+ o7 }. h% ~/ f# ZHOD^η=∩α<η HOD^α) w6 K: u6 B0 W: r
) C2 H- _, o( M0 B对所有HODs的脱殊扩张
! r! ~- E: P/ r6 f
& N& ?6 ^$ y$ p) S/ u2 u, igHOD=∩HOD^V[G]
9 @/ W$ h) Z8 _1 `或许还有：. B4 C5 k' j5 l4 w1 @8 n
序数宇宙V=ON
& _1 H5 O, _! s7 Z) j良序宇宙V=WO
/ M% R: H. I# S% ~; Q: a1 M良基宇宙V=WF5 V& G7 P* c/ F4 l* U; j8 G" h3 q
于是可能：4 b& |4 O0 H' `4 ?, F" [% e
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43