可构造宇宙V=L：
& h* p2 B: O$ \! h定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
6 Y" h2 Q) j. E( L( A0 nx = {y∈X :φ[y,u,u,u,……]! \5 ]/ l ?" q, Q* j8 k
然后：; h) s9 F3 v! m! y8 Q- E
L=
5 u# G( J0 T, _8 [; fL=Def(L1)={}=1: z _3 I' w/ k: Y% a0 q
Ln+1=Def(Ln)=n4 P8 z" I( A; c8 u. @4 Z" v& ]
Lω=∪＿k<ω Lω
6 I# p! \2 U$ f4 C$ tLλ=∪＿k<λ λ is a limit ordinal
% v- x1 ]0 l( f$ o! j1 s. k是极限序数
, F& @* M, m7 pL=∪＿k Lk，k跑遍所有序数
5 a0 r5 n/ t; F" J9 Z遗传序数可定义宇宙HODs：& a- i: l. j1 J6 m) U, T7 F, C3 D
. n4 ?/ B3 P3 [* [
HOD=V
1 V8 p* N( [2 O: }( E' C
; R! q% J6 q e0 u/ q3 x; w3 hHOD=HOD^; V; N3 _) K; r* c/ N$ T
0 K( f- R6 o/ J% l+ p- D) WHOD^ω=∩＿n<ω HOD7 H8 D$ D+ S- \5 r
8 B) ^' M$ ?0 n3 h+ o/ f1 DH=V
: t9 j; | Z( w: R( q# _6 t+ I7 s( _. [ s9 N
H^α+1=HOD^6 ~" W; L/ t, \. [. L
S3 g* h( L. q
HOD^η=∩α<η HOD^α
& `0 ?4 N8 b# U% G! ]! S L) o6 B0 |6 q1 R
对所有HODs的脱殊扩张
8 s, y" s# Z+ K% \$ d/ w9 Q, P$ c4 z7 V! W
gHOD=∩HOD^V[G]
! w$ |0 V- C* h( I! ~或许还有：- z5 o% k( z' j7 K, E4 V
序数宇宙V=ON5 ?; ~7 `% K* S! U }4 h: \; o
良序宇宙V=WO
/ V" C9 p( W6 ^7 o良基宇宙V=WF
, {; Y! U4 W) o! }, m于是可能：
$ J' B% {8 }* X. jV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43