可构造宇宙V=L：5 c2 ]( c+ d/ B5 j
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得0 F2 s' t+ ]/ B- e
x = {y∈X :φ[y,u,u,u,……]
: f7 \1 |& B5 \6 V: E+ T Z' S然后：1 y' D) ]* M, k# |! s' F
L=, V" ~' l' q' P U; w7 }% a" M: M
L=Def(L1)={}=1! t7 x% S+ h6 \8 l! E
Ln+1=Def(Ln)=n3 u2 b _9 j) x) n/ p
Lω=∪＿k<ω Lω
1 A4 K7 @3 ~. H6 @. w' e3 `- MLλ=∪＿k<λ λ is a limit ordinal) x- R; N/ T, L0 \4 y: y
是极限序数
7 T5 t, o4 G9 i, \5 X6 {- RL=∪＿k Lk，k跑遍所有序数5 L0 y3 w8 e0 S
遗传序数可定义宇宙HODs：7 N) ?# o, s$ d( J
0 m) U/ W8 E" ^: m
HOD=V: K+ s8 _/ q! e' \: o0 b
, h- _! E* I, wHOD=HOD^
5 l8 K X( M! p; C8 G/ D, T" p3 o# @9 I; A0 {( u+ H
HOD^ω=∩＿n<ω HOD
& m+ Q" H4 Q7 _' t7 k- ~7 ^
7 m9 q( F* ^ j/ ?- EH=V
! l) S% @ R2 K) c0 Z6 }
: f$ \9 v& _2 F$ T6 Z: K2 NH^α+1=HOD^
7 o0 M1 E6 _: H6 T/ L
, o# j( U6 v/ ~HOD^η=∩α<η HOD^α$ d+ A! J' n% M! ^, N. X
7 B, @8 Q2 \) B% Z u( u( E! b
对所有HODs的脱殊扩张2 [' D$ D1 @6 N- q/ z0 A
2 F7 M/ [0 @ F% j, t+ S& d) H' @gHOD=∩HOD^V[G]! Z3 E9 O2 i8 E
或许还有：
# h4 } L( y# U序数宇宙V=ON9 k3 l% W0 O3 R7 x# S( a% f" ~
良序宇宙V=WO
% w% o2 z. i" ?- b/ I) K) g( V良基宇宙V=WF1 g" j' X2 O5 @$ @$ I/ {1 C
于是可能：
4 W/ n; U6 v. ]; S! g/ L/ D7 HV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43