可构造宇宙V=L：
# E. ^# Y! P! v c+ M& I5 q) v5 h, ]定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
/ n: Y: q5 w# N/ b; Vx = {y∈X :φ[y,u,u,u,……]2 O4 s6 @3 [3 p8 f& J" d2 `
然后：
7 w( N3 W3 e j8 a0 d) DL=8 L! W0 x& w& y C4 X8 ^2 M
L=Def(L1)={}=15 [. f2 V* ^- c! G+ T
Ln+1=Def(Ln)=n# ~3 i# }2 S( J5 J: K3 F% i
Lω=∪＿k<ω Lω
7 u" K* o) ~' A0 D1 u7 t1 F! GLλ=∪＿k<λ λ is a limit ordinal
: F% @3 C% I/ t! [) p是极限序数
# w" l+ L! D7 z0 g; l4 D1 oL=∪＿k Lk，k跑遍所有序数# o) v# l5 l+ H, O, ^$ w
遗传序数可定义宇宙HODs：
/ P1 ]* F, ], s1 }7 T! Q; v1 U3 f; \& r( V$ j, _9 U5 @
HOD=V
0 h- |1 F" L) W
% D) I' K7 d6 a9 b) y9 k. HHOD=HOD^/ Q8 r# n$ o/ T# \' b
1 M8 v3 D* O ?
HOD^ω=∩＿n<ω HOD; I: |* J8 A; A
" G0 m( |% J4 b; T `! Q
H=V
# v! Q3 E8 \. D" E+ V, W: M) {4 R3 A: c2 c- C3 M
H^α+1=HOD^7 u& _- e; V) e# C& Q
: k% l' U9 J: u- D$ t
HOD^η=∩α<η HOD^α7 j% r* U Z; [$ ^% j% F
8 L% Y. g$ r5 V' Z2 d5 |& M% c对所有HODs的脱殊扩张
2 N+ g) {" W9 s5 i9 Q$ T
# f- _% N0 Z/ _' hgHOD=∩HOD^V[G]
* n( X4 W/ d7 I或许还有：& N! Y v% d C& A; P
序数宇宙V=ON, n2 ~. j; I( ?
良序宇宙V=WO
7 t3 P: F0 t5 q3 P$ n2 D) N' H* Y7 c良基宇宙V=WF
7 z6 m. }3 b" _. T4 T5 L) Q3 h于是可能：
$ }( H0 \3 I$ G& e* p( {V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43