可构造宇宙V=L：7 i W1 n# V# g8 I8 |
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
$ F8 k; n- T7 ~+ k& \: [$ Ax = {y∈X :φ[y,u,u,u,……]
+ b/ O, D: T9 _$ x8 B4 `5 Z然后：
9 D* F) M: [* t" S. T1 y2 UL=
+ q$ |8 n$ x# |4 O. O( \6 BL=Def(L1)={}=1( c/ b/ I! I- M1 j
Ln+1=Def(Ln)=n, X$ {' O. h0 f! J6 x3 k+ y' X- i
Lω=∪＿k<ω Lω5 t) T8 ?7 ?, R+ P" n) v. I
Lλ=∪＿k<λ λ is a limit ordinal
( s( L# s3 Z- W4 C9 |, m' k$ s k是极限序数" S- A; [7 V3 \" ^8 C
L=∪＿k Lk，k跑遍所有序数
" E5 y0 d% N6 {* d* Z' s* y, {遗传序数可定义宇宙HODs：7 t$ ]2 i1 \, x1 j4 i
1 [8 v" L1 t) T% |
HOD=V4 ~; w: w* y% D7 F3 n+ t$ o9 i" _5 R/ r
% ~/ G* ^- I/ t( n {HOD=HOD^
# Z- C9 A8 ~) P" H0 k
9 Z" B/ E6 ^/ R2 fHOD^ω=∩＿n<ω HOD
x2 Q3 y1 A1 r% v1 B7 p5 ^2 K( Z- @1 R( @' K8 T2 ? b
H=V
0 ?+ }6 J' n4 I9 ~5 b+ p1 S5 x+ k% t9 x8 [# B9 c( Y
H^α+1=HOD^8 @5 t, f7 Z! m1 z) m: |
2 [$ g: x: [7 s# L+ }+ U
HOD^η=∩α<η HOD^α3 ]% t/ S+ O* V' `; v( K! o
) M" I; ~# m1 \, a4 o* ~% j对所有HODs的脱殊扩张
- Y: v) o$ `: o+ Z
6 l0 S3 Q5 D/ @7 A4 |: egHOD=∩HOD^V[G]6 y$ f4 J9 C/ r& G, t
或许还有：* v/ s# G. Z1 [- s1 Q! M: {
序数宇宙V=ON1 u5 f& M6 I( |
良序宇宙V=WO, q! u1 [6 t% g. _5 u/ g# x
良基宇宙V=WF
% h: B* C V) g$ o8 |: m2 U' v* a: m于是可能：
4 b. ] t3 s8 K0 A, \- p# j# mV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43