可构造宇宙V=L：
9 n7 i1 K: I0 N! b( M) o7 X定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得4 [2 L0 `$ _5 }( M0 Y# G
x = {y∈X :φ[y,u,u,u,……]
0 c1 B! ]$ j p. c然后：
% B9 W3 _# o% Y! }$ D. zL=; g" }: W7 Y/ j! W6 S& m4 p* f! I
L=Def(L1)={}=1, _( t( S, K& L8 y
Ln+1=Def(Ln)=n
/ h8 r# n9 s; e: OLω=∪＿k<ω Lω
: t/ N0 w. E" q8 J. n/ RLλ=∪＿k<λ λ is a limit ordinal
: @1 A$ Y! t. Z/ J是极限序数1 L) w$ {, X$ c6 O5 u' c$ b
L=∪＿k Lk，k跑遍所有序数
; |5 g2 Y6 r, u, ^5 w# Y遗传序数可定义宇宙HODs：
3 F- m1 J7 F; e) O. ~! E L. Z* h. e1 t
HOD=V! n! I6 g, C1 k. H& V2 w/ ~$ I5 k$ c
# Q6 j5 x2 P0 n4 C/ {, [HOD=HOD^$ s; E' |% x; z' y% d! U
; e+ |2 e* B/ ^$ O5 w
HOD^ω=∩＿n<ω HOD" z+ L9 p3 T( `: k- M0 b2 D
# l, O [8 W& [8 y" Y N
H=V
% Q. m9 J6 {; j5 c6 F H$ k8 e. B. [9 J m+ d/ `) c2 N( h
H^α+1=HOD^' y4 u. ^5 x4 |3 f1 ?
3 X! ^( A" q# d! {HOD^η=∩α<η HOD^α
, ?0 i* E% F' D$ s* H
7 e! w0 k+ R! h+ n, q对所有HODs的脱殊扩张/ T4 Q, b9 @& a( e
+ g; e) z5 P, a7 }+ S
gHOD=∩HOD^V[G]7 S+ d* P8 i4 L. j" n: V
或许还有：
. _' y* `- O# }# v: ^序数宇宙V=ON
0 s) D9 n4 _! o. K, Y良序宇宙V=WO$ q3 ^& w: @+ V: E/ Q d* H
良基宇宙V=WF
: I- @2 I" B1 o' T# D0 i于是可能：
' J3 N" H3 P. q8 L( OV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43