可构造宇宙V=L：
: i/ D) y$ u" D* F4 M7 s定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得% |( X# `+ U! X. i8 f Z$ S8 S+ R
x = {y∈X :φ[y,u,u,u,……]
% X* J3 y6 G) c6 Z( Y' d然后：
: w& o, W7 g. }, W% g9 ?& ZL=5 d) X; Z/ c. v) N8 i3 [. K
L=Def(L1)={}=1
$ w; a: h: h$ l) _; ]" DLn+1=Def(Ln)=n
3 ?; d; e/ K/ Q' }Lω=∪＿k<ω Lω
1 K; U+ w8 ], @6 r+ m. nLλ=∪＿k<λ λ is a limit ordinal; l1 j5 [8 P4 Y0 b6 C
是极限序数
1 \& Q# t! w( v+ @( R3 k; iL=∪＿k Lk，k跑遍所有序数7 k6 d0 j) M, U3 x L; W" x
遗传序数可定义宇宙HODs：
2 F: ]7 B; ]6 e/ k
/ U0 G0 L: X& Q: jHOD=V. T* p5 E9 p5 A9 I( ?" a5 x
6 k4 v: @5 a* M. U$ rHOD=HOD^+ |4 l) T3 R' p3 d2 g0 a
9 t4 t2 j" q3 _5 ^1 z: X( \4 \% SHOD^ω=∩＿n<ω HOD
2 K% ]. T3 w: r% ?" [
& n. q: s4 F4 a3 T- Q7 [1 VH=V; V4 K. M- V0 P) q
9 b( s+ b$ b) U$ R0 Y9 ]4 a j
H^α+1=HOD^7 L" T- o6 q! F0 j! z
5 U* Z( N6 y9 d4 w8 oHOD^η=∩α<η HOD^α V4 @7 T- o, O# R- n w
5 I. G( A V9 M) r5 @对所有HODs的脱殊扩张+ D. t8 Q' Z' c, Q- C4 h: n
- F2 \5 N2 n4 R: E6 ]
gHOD=∩HOD^V[G]
1 S( r7 B& h- Z9 Z, H7 i6 C% \9 T或许还有：5 K; M- S8 b3 A0 q
序数宇宙V=ON# Q* J9 y. l0 Z `$ H
良序宇宙V=WO
2 A; Z+ v- j5 @2 x. ?良基宇宙V=WF
7 O2 F$ N; A! U+ r' I) H于是可能：
% X0 {" A4 T5 Z( \! B- xV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43