可构造宇宙V=L：
# ]4 g" M7 x8 \/ @; _" l: a% f% M9 b定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得; e7 P4 |' [3 u# ~. ~ z
x = {y∈X :φ[y,u,u,u,……]) {( h9 Q* L V! v% O
然后：
$ }1 X0 k$ k# A5 E( n5 H$ f8 }& sL=
5 L* A* s8 `) S2 e6 U6 I/ w8 E* TL=Def(L1)={}=1
- m: r; Y1 s; t b& ILn+1=Def(Ln)=n* M/ x$ t- w; D, Z/ H
Lω=∪＿k<ω Lω6 _* e$ U( `5 S) a
Lλ=∪＿k<λ λ is a limit ordinal
7 Z" A0 z. W/ Z是极限序数& A5 A# G! J3 ^& G
L=∪＿k Lk，k跑遍所有序数5 F7 S* V# S2 V, ~4 Q7 y0 z; s
遗传序数可定义宇宙HODs：
7 b+ z: W0 G' Q& K% B% z6 V# q' |! x; q* q W+ \6 Z
HOD=V
/ N4 L6 Z9 d g* [) \ V& k# B0 V3 a
HOD=HOD^
& l: ~9 M5 t. L8 @! _+ j6 U `" X: N; u0 T! i! G
HOD^ω=∩＿n<ω HOD' M4 a% [8 \+ D. I" U$ e. D
/ s) F( V* h) n- k5 H
H=V2 w, F& F' F ^* @3 h" H
: W7 c* i y m( O. p
H^α+1=HOD^
! p* q8 H6 T q8 r9 u
' D. q7 X4 p6 l* R$ D) r f& _HOD^η=∩α<η HOD^α
5 c; g4 G* N# R8 ~% r+ \, c4 }, Y# a0 E( B6 U% Y
对所有HODs的脱殊扩张+ m/ v1 H4 y. C, s+ T1 O
2 B6 Y2 z: l+ ?8 o0 |
gHOD=∩HOD^V[G], a/ j( \1 G' r4 ]8 j' Q! o
或许还有： p3 I0 p! j+ R$ W) |; m- O U
序数宇宙V=ON
' D# Q# U1 D& R; e I良序宇宙V=WO/ v& ]+ @7 p; w3 @4 V0 [
良基宇宙V=WF
% a% T7 W5 d% w2 A* S6 q. h于是可能：, m Z. q) ^( |0 B b9 n/ T
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43