可构造宇宙V=L： d1 S: ?3 M( k4 |5 u
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
- D8 _3 u7 L( w- Mx = {y∈X :φ[y,u,u,u,……]
( e3 c" u3 p5 V! R) P; v7 \% K然后：3 L4 ?; V& N) T, C: O1 m- K8 P# z9 X
L=
1 K! n- C4 s+ }( w7 _5 E' `/ xL=Def(L1)={}=1
# h1 K+ [4 ?2 P- y. yLn+1=Def(Ln)=n
/ z7 L5 W6 S; ]' C8 n: Z7 QLω=∪＿k<ω Lω
2 Y" {% V# a2 y' S" SLλ=∪＿k<λ λ is a limit ordinal/ P0 c6 ^* H6 {
是极限序数7 H) j+ I8 \; |: K& Z
L=∪＿k Lk，k跑遍所有序数
/ R6 ^- r7 b: S: Q7 Z* \ J遗传序数可定义宇宙HODs：$ _' l" {- B+ a/ z! D
/ y9 a2 s: A# ?
HOD=V
- v5 d9 ~0 n9 R$ U8 ^% w1 _) X; n* O& @# g4 c
HOD=HOD^
, V" h- _, v0 b/ O% d# L& W) e3 N
HOD^ω=∩＿n<ω HOD5 w# q0 k0 Y6 C( O7 D3 M
: [+ i' l' Z+ ] h: h
H=V
' y3 W6 M* \! R( x0 I2 l
+ }- r; w" [1 S5 O" z( QH^α+1=HOD^
, [* c W( ]2 b% B$ d0 F
1 x! F5 o7 R8 n; Y' r- [, HHOD^η=∩α<η HOD^α
! A% W0 R8 U# T: |1 t& o4 b. @: t/ U% q N5 e5 g; T, M3 Z
对所有HODs的脱殊扩张
$ `2 R+ C) j8 n& e4 ~5 Q
6 l3 K, D* V$ I2 AgHOD=∩HOD^V[G]
P" {5 W9 Q5 P& n$ @, H或许还有：# Q) x9 x5 o4 v! O, d6 A
序数宇宙V=ON
9 v9 i2 y# S' L: ~* V- i良序宇宙V=WO
2 w" ^2 E: L6 K1 L8 M良基宇宙V=WF, c. H: e7 G9 c1 e
于是可能：
% v; c2 E5 H6 \" _- ]" u: HV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43