可构造宇宙V=L：. a" H5 k% i4 t! ]2 X
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得# w3 | p- V2 r6 C5 k+ ?
x = {y∈X :φ[y,u,u,u,……]$ a& k& B6 F$ I( `
然后：
- \* B0 A4 _. d+ p9 p, T; eL=" ~" h+ _- j3 E* z9 V) c
L=Def(L1)={}=1. f- ~. o) R3 G/ `! g0 b1 z! o
Ln+1=Def(Ln)=n" F) h) v. E! W0 C. b& C
Lω=∪＿k<ω Lω& t+ b8 H! ?! k. D! y: [- t; D
Lλ=∪＿k<λ λ is a limit ordinal5 A& A' b( C) v) P8 N6 b) Z
是极限序数! n$ v7 x4 B* S4 V; h; \
L=∪＿k Lk，k跑遍所有序数
7 y l( u6 [/ {; G9 z( u遗传序数可定义宇宙HODs：, e3 {8 c: C D* V6 d
3 Y) Q" u ]% [) s$ R9 EHOD=V, A# _0 P! a; j5 S
+ g9 K j, B _5 i
HOD=HOD^; O T' n! b! U/ q7 m/ [( a, p+ O
N) ^) L5 f7 z) f0 X7 n# e8 ]HOD^ω=∩＿n<ω HOD9 w& N2 A4 k- E" H& X5 H
6 \( [, p% D C! }0 g
H=V6 [3 H* F. x. K# q
# i. P7 N9 M H9 U! {' mH^α+1=HOD^$ K" q, L7 e' `
?- V) Z n1 q
HOD^η=∩α<η HOD^α
0 {& k/ ~' x# \
) g* v' Q+ K+ b2 \& K; b* q6 z; L, U' _对所有HODs的脱殊扩张$ c, Y) S' U7 F1 V8 ?% }. ~
- ^0 z/ }# Z8 @
gHOD=∩HOD^V[G]7 ~, w4 Z) v/ F, p3 x* t# I I( s& m
或许还有：
( s8 W+ v- r# e d+ h& X序数宇宙V=ON
& C& V/ s0 L) g, r( ~/ i& {5 r良序宇宙V=WO- b, v R7 b9 r9 V
良基宇宙V=WF
5 ?8 ]+ Y* H6 m% @8 S3 q于是可能：9 S ^; ~4 [5 K( s
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43