可构造宇宙V=L：
4 t+ B9 ]- ]/ W定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
T+ X; ` E) y1 q G& w }x = {y∈X :φ[y,u,u,u,……]
2 B! {' q) @ k- |2 t然后：
3 l8 i; p6 ?/ ?8 s6 D. {L=3 `8 _: [9 M* J$ ]+ W
L=Def(L1)={}=1" f4 g: A; C/ Y% {( {) S4 F) e
Ln+1=Def(Ln)=n
# Y% Z/ f( ^$ g& M; {: aLω=∪＿k<ω Lω) S* z" t; \" v% d. l. e1 r
Lλ=∪＿k<λ λ is a limit ordinal3 [4 ?6 a) L0 O/ K# j
是极限序数
" e! p8 N: i& }( O- }' n* UL=∪＿k Lk，k跑遍所有序数
, S+ G W' `- d) o# w遗传序数可定义宇宙HODs：# p, B( G0 N: M
( r) ~3 @" I( ^, v- R
HOD=V
4 W" t$ l; o' s! ~: u! A; ~$ W) O$ Z6 j' F6 S" g/ ?- v& k
HOD=HOD^
/ \0 M: P2 u+ _1 M% J& F" D8 V: F0 N
% T/ \. q- H" \+ T, ?1 NHOD^ω=∩＿n<ω HOD3 E& M0 x) e; P5 h
P( m: K8 O8 M3 L1 l5 ^8 G: X
H=V1 ?# [: r3 |8 K
% l- X; D3 _2 V8 M/ H I! aH^α+1=HOD^
, B0 \+ G% F. P; [$ W; {5 I( C9 j8 F$ y0 x% b3 Y- q" N
HOD^η=∩α<η HOD^α
4 @; O" U9 o8 B5 c5 w8 y5 G3 g
. b0 R3 h* P/ F* ?1 k. g; b/ D对所有HODs的脱殊扩张
* U3 c6 C) Y( G9 _; b# K# X$ h; n' b/ S8 B
gHOD=∩HOD^V[G]$ `3 O2 ]' u, W" V" E+ G3 |
或许还有：
6 w% ~% { [6 j0 Q& y0 C9 y: @: V2 y序数宇宙V=ON* N0 e8 |9 N4 c3 w
良序宇宙V=WO
) M6 _. g+ v1 M/ G" r良基宇宙V=WF
5 b! ]8 \6 E: D5 x1 Q7 Y2 T于是可能：
/ l+ D. d/ T% B& S7 SV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43