可构造宇宙V=L：
. C: \4 ]) F5 t% v定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
5 f, u+ ^ T7 F$ d4 R3 zx = {y∈X :φ[y,u,u,u,……]
+ ~- S6 t$ F4 w7 e! _然后：& t2 M7 Z8 d4 r* a+ m& J: _3 ]
L=
" b5 P! C+ \3 q! I0 o) n2 ]L=Def(L1)={}=1& X$ t5 {* M7 t+ k& ^
Ln+1=Def(Ln)=n d' H8 c. m- g- R
Lω=∪＿k<ω Lω, U* E( M5 c2 r; i+ ^# O- U
Lλ=∪＿k<λ λ is a limit ordinal
! Y5 {6 d; N5 z7 A( h8 g是极限序数% q _- B" C$ W# l
L=∪＿k Lk，k跑遍所有序数/ g+ c+ M. F7 v: O: e
遗传序数可定义宇宙HODs：. W- K4 j5 l+ ~ N
9 A5 M% l ~$ _. [0 |3 O- \6 vHOD=V
6 o- ?1 S0 z* ]8 l1 M1 Q) i1 U6 Y: R: W. o& J6 t
HOD=HOD^: }8 m. _2 J K# F/ r. C# ?! Z
6 h3 C6 l _. D% U
HOD^ω=∩＿n<ω HOD
0 Z( A: `7 H" Y# I2 t+ X
% d7 a. n5 U2 |3 J) jH=V; r% O0 Z, m! }( I6 d
0 ?9 a$ [# K& HH^α+1=HOD^
7 u- R0 M! U0 K, W& w/ z" C. @+ R0 A" `
HOD^η=∩α<η HOD^α
# I% q4 n# Q& W: K# p- T. d O! @2 x+ ?6 z# c% E2 _; G0 r
对所有HODs的脱殊扩张
- ~* y& p" f8 t) G! z
; p! M9 }* E" H5 P' WgHOD=∩HOD^V[G]9 m3 q6 }: f# \& M0 v0 Q
或许还有：5 H# K+ l/ Y# K+ X
序数宇宙V=ON
+ r8 X! H# _7 l& a/ Q- R2 H良序宇宙V=WO+ {" a4 u4 |# g Q# x( d1 l
良基宇宙V=WF
2 c: r& M2 }9 X' m6 `5 c/ y于是可能：
4 m, i z# s" ?, m7 w0 h8 L$ G7 oV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43