可构造宇宙V=L：
7 B9 W( e2 W$ u9 @+ l定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得5 u5 k: n& `4 C& a. ~' V
x = {y∈X :φ[y,u,u,u,……]
4 |% C5 w8 t; f# [# h然后：, f5 n8 C$ |' n7 B5 ^- D
L=5 Z0 `/ s: ^2 r/ U# J' q
L=Def(L1)={}=14 l# f; }. N& I# ]
Ln+1=Def(Ln)=n
7 f% ^1 R% H% D+ _Lω=∪＿k<ω Lω
: A8 P' C; y" n" _: c( g' aLλ=∪＿k<λ λ is a limit ordinal
0 W7 t/ L8 v+ b. e是极限序数
. h" N2 s, W2 z b$ dL=∪＿k Lk，k跑遍所有序数
# G$ x. G0 ?' g8 P6 k遗传序数可定义宇宙HODs：
- \/ E2 N. `5 k7 n( M" ~& @- B/ @! @
HOD=V, k% i" v& ]- K% y5 O$ y
& `! N8 P: k" \" `% z! o
HOD=HOD^5 t) Y: u- ` S2 M8 h) y
- }$ m% p# [, n3 E" W5 z) FHOD^ω=∩＿n<ω HOD* D! f* a, g ~7 A% q+ E
1 n! y+ Y1 D1 \+ n% E; o
H=V
0 i) f; E" W. w2 d. ^3 K4 V3 F
# _3 d& d' B3 BH^α+1=HOD^$ x! j3 E) W j9 Y2 t- T
; @2 @3 ?) c1 N4 k' T3 y
HOD^η=∩α<η HOD^α
3 ~- r1 X8 I" k5 O) a; b7 r) V# _" s6 V* X
对所有HODs的脱殊扩张
" o9 Q- b7 W% a6 T9 V8 g, {0 K! f/ i
% D% i, R! h9 SgHOD=∩HOD^V[G] {* m" R {9 J, R. j! o
或许还有：
5 P( R9 M! u& a% M6 t" {& U序数宇宙V=ON
( ^0 G0 p T9 }* x) t良序宇宙V=WO
4 o6 J. a8 D c0 C$ I8 D! ]5 X良基宇宙V=WF# Q6 X4 {7 d* z8 p1 M
于是可能：
& ~+ J0 t: H r) aV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43