可构造宇宙V=L：
, r' A% c: Z" D定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得! ^: Y* d* w/ e* J( j( ^# M
x = {y∈X :φ[y,u,u,u,……]" {; I4 W |, S+ \& y0 w
然后：
" ] O' o L* @* y9 Z5 k/ \L=
6 ^) i' q! E0 y* V: HL=Def(L1)={}=1
9 @0 L4 c0 Z6 ?- S( WLn+1=Def(Ln)=n' J9 m" ^% a. Z1 f" M. y0 M9 b
Lω=∪＿k<ω Lω
% Q9 _! y. R$ J! b; ?& i) LLλ=∪＿k<λ λ is a limit ordinal. c: d, ?, f8 r$ m; N
是极限序数# Y) Q) I& X6 g0 s* R) U
L=∪＿k Lk，k跑遍所有序数
. N8 E* T3 m q# Q遗传序数可定义宇宙HODs：
' ?8 Q- }. l( q5 H; T
6 f' l8 Y: u# Y9 A3 [+ ?2 EHOD=V
; E4 u6 C+ Z9 G. s& m0 i4 V& ^1 J0 S8 A) i" j
HOD=HOD^
9 J U% G2 Z$ m2 j/ t3 Z0 J: U+ R2 l
HOD^ω=∩＿n<ω HOD3 g; S' {8 I+ g/ N
6 s1 ?: B* n$ G" n& B; y* k PH=V
% \# L# [$ ?+ r$ m2 ` [
8 U/ C, s- z% C" v- w) B% ]/ {H^α+1=HOD^
( C/ |+ V2 y9 b: q7 @* u* [! \9 ?- G4 ]% r
HOD^η=∩α<η HOD^α
# z& a$ I# C0 p4 ?
; M) [( N/ U* \ k, Y3 U& X- s% l对所有HODs的脱殊扩张
6 ~1 {0 l. R) B3 ?4 L* g, V2 I( t
) D- F. A! X0 n) t( @: ~) FgHOD=∩HOD^V[G]$ b A* G6 ]' I* k7 I
或许还有：) P5 B. n, v+ p, ~" @2 G
序数宇宙V=ON
1 ~2 q/ l7 k) k9 i, O0 |良序宇宙V=WO8 f: C! P- {6 l1 t
良基宇宙V=WF; h: I7 y+ e+ b3 Y4 J
于是可能：
" P1 ^# A. r* }9 V" t: K1 ^; c% BV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43