可构造宇宙V=L：) ?" o5 f+ n0 O2 a1 F" h4 q$ }
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得1 h$ K+ t! q/ _0 M
x = {y∈X :φ[y,u,u,u,……]
4 _9 h$ n7 d+ Z5 f6 G然后：4 v, [4 t* v# \/ l! l# k, H
L=8 t* I0 G$ w! h5 w: b. R
L=Def(L1)={}=19 M: R+ a' a b, Q
Ln+1=Def(Ln)=n2 c$ T& k4 U+ t, M+ S
Lω=∪＿k<ω Lω' E! i+ s3 s j" A% e
Lλ=∪＿k<λ λ is a limit ordinal
5 h$ f8 b( q+ v' u是极限序数
5 [% X* J* n/ m, W5 HL=∪＿k Lk，k跑遍所有序数
$ R. J. K! E* K遗传序数可定义宇宙HODs：. ]: X% z+ c$ b
) p7 h9 I$ z$ Z: a0 q# F
HOD=V
, G3 i7 j( A. {4 x! O: K7 C) J& C7 G# \( C0 \' S# C) _# ~: O5 P
HOD=HOD^# m2 Z1 q) k! u0 J
; P4 y8 m6 c0 Q7 FHOD^ω=∩＿n<ω HOD
: \# i6 Z; l) n( b; L( k- r# {& d
5 M8 w0 N6 ?2 v9 \' UH=V
5 h3 J, F4 f+ S8 L+ K& `; E" H* @* I
H^α+1=HOD^/ z4 h- v; D Q% X- m
. Q& q' Z, o# N1 d8 }
HOD^η=∩α<η HOD^α
& {) P$ E/ s* g$ e* T6 s: }* c# o5 u& G4 o g4 y
对所有HODs的脱殊扩张
2 q4 V& f5 H8 T- P. o; g
$ L( U; a }4 mgHOD=∩HOD^V[G]
% n* i- d# x' K9 q或许还有：
% N+ r$ s9 M' ~9 R4 B/ B1 P( |/ {/ t! I序数宇宙V=ON$ ?5 z# n5 I9 m+ }% _9 p, z9 J
良序宇宙V=WO, P8 a8 z/ p6 W
良基宇宙V=WF
% e* m: |% D/ y; {1 ~1 m4 {1 F于是可能： P4 @; j8 b# s8 t4 z/ `4 ^) a. v' c
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43