可构造宇宙V=L：
) B" n( }9 e8 o5 C) L) w定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
& \* l7 g1 n- p% Tx = {y∈X :φ[y,u,u,u,……]
- ~% B3 L6 \+ `& f5 L( n- l然后：
( a8 z. E1 g. H7 }L=
?: K$ V7 l. s9 bL=Def(L1)={}=1. e6 m, J( K$ }' R J2 }/ J
Ln+1=Def(Ln)=n
+ q, n8 F0 A) S& e1 bLω=∪＿k<ω Lω
* u8 B4 e2 w% SLλ=∪＿k<λ λ is a limit ordinal$ ` N( B- \1 Y
是极限序数/ T% w" S2 ^9 h( s4 W
L=∪＿k Lk，k跑遍所有序数; X+ ?' ]9 X4 n" Y( C3 P9 h
遗传序数可定义宇宙HODs：
3 y# k4 ?4 n8 g) _* z, V+ d. i; u
HOD=V4 B7 ^, U+ f' `; ]& {/ e
: v6 x6 _0 K9 f4 ?HOD=HOD^
' L/ m$ z+ n# v8 Q% x4 t2 @
' t8 G o6 M, J w' A% IHOD^ω=∩＿n<ω HOD3 n; g+ K# w4 ]0 L0 @' Z( @6 ]4 w, Y
- r2 U" v/ c* c" k3 |2 I+ [8 gH=V/ J7 v+ _/ q* r3 m. h; ^* y$ Y
2 [$ {. C5 X" U/ L) O6 vH^α+1=HOD^$ D3 L7 P( s [: Y
; @/ b( {2 I* ^' b
HOD^η=∩α<η HOD^α
o! v+ s# ?. w; O/ i o+ m0 I
$ `* T( S h- ?2 R. I( q对所有HODs的脱殊扩张: E2 v, w( [! J9 G* G/ f. y1 b
" q @2 d2 }8 g. G4 {+ w
gHOD=∩HOD^V[G]
+ v/ C$ b% k) t9 m# m或许还有：# F: h, z& N; R0 Z. A2 C
序数宇宙V=ON
+ J2 y2 y# M) a. z7 D2 T1 O8 r2 ]! w良序宇宙V=WO
2 @, \& f; C6 c# G+ U良基宇宙V=WF
, |/ f- q1 Z4 K* ]# j) ]( r' V于是可能：
% B7 O6 d% v: a2 H5 R% vV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43