可构造宇宙V=L：
" d# ^. R1 u" r" d0 Z4 x: s/ v定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得0 F- R1 A/ d5 X5 K# M/ U
x = {y∈X :φ[y,u,u,u,……]% E- }( w$ q* a7 B6 I3 K* s/ e5 _
然后：
! W% x- k) `1 R; M% GL=
' `: d8 k0 a0 V5 s7 h$ X% YL=Def(L1)={}=19 i7 ?2 Q3 |; R% w
Ln+1=Def(Ln)=n0 y) @3 i% k8 T
Lω=∪＿k<ω Lω3 X: I* G- n+ m7 H E
Lλ=∪＿k<λ λ is a limit ordinal
7 F' c t1 p0 z* M是极限序数 S2 n6 ?. K. F1 i9 x9 J
L=∪＿k Lk，k跑遍所有序数
, g8 N* [0 N7 J+ f遗传序数可定义宇宙HODs：4 }. B- F# v& j( r/ \3 |& Q" r
9 t( D6 u8 r3 }8 J9 ]* z" e7 M" x
HOD=V0 @! {0 f. C3 q7 ]; D- E8 W8 K
6 _5 y/ H& C& k! ~0 dHOD=HOD^
! \4 g2 w! r* x U+ V! L
6 B3 N- |) f3 ^) U6 T2 I& I0 FHOD^ω=∩＿n<ω HOD
: ]$ L* Z- J1 {$ w3 z2 R9 E8 q" R# H7 C
H=V
( P; ]1 v( q+ }$ C, H
7 x4 `# ^0 X4 V1 P+ uH^α+1=HOD^
0 h+ ]6 Y* A |$ t) j! |: n! k, v! m3 J' P
HOD^η=∩α<η HOD^α% e( T% Z( m& f. V5 D, y7 }. i
( y, |5 e; {# r" d q
对所有HODs的脱殊扩张
1 b8 x- ~3 i9 a4 t* L9 Y- Y
% q% f( q: M. v Y% D; G% \) \gHOD=∩HOD^V[G]
$ F% J$ ], Z' _8 ?: X+ U+ P# v S或许还有：+ D+ y/ {+ m+ ?6 K! {
序数宇宙V=ON0 u) o, T8 y f' x0 j
良序宇宙V=WO; Q7 u2 F( ]1 q8 b% c1 }
良基宇宙V=WF
. b9 y* e. j* J于是可能：( h2 U! K. A3 L- @3 s
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43