可构造宇宙V=L：$ m, X w# m6 j, X4 H
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得$ ^% Q. |) B. h( p
x = {y∈X :φ[y,u,u,u,……]+ [3 B, r) L3 C0 p& y F* e
然后：
* y) X/ L* u% P ~1 {- F# \/ E8 hL=
7 d; A6 I5 T1 n8 P" |1 X! J) _2 UL=Def(L1)={}=1+ Y, s3 Q& t+ T3 g0 {
Ln+1=Def(Ln)=n; D: }2 x0 h; Y( L/ L5 d s
Lω=∪＿k<ω Lω
6 i& D4 p! p8 D( XLλ=∪＿k<λ λ is a limit ordinal
& R6 s) w$ S" v8 z- Q7 g是极限序数
- B; D$ h" Z, \9 p2 ]L=∪＿k Lk，k跑遍所有序数6 ^/ {% R7 W9 b, F5 O4 Z
遗传序数可定义宇宙HODs：
+ e! q' n4 i2 |& {9 f" z1 ~; R5 }0 ^+ e* M, @: p& g; [ M
HOD=V4 G5 v/ W" ~: J: M
8 w9 C9 |0 A; p% e. [) N
HOD=HOD^9 l: F& m3 r |* Y) ?
$ o }) J5 @+ \8 r+ y: Y& ZHOD^ω=∩＿n<ω HOD- R, i+ J8 n: O8 ^% N$ B
5 E; v1 Y$ k. n% e- RH=V
3 f% K, [) L( U, i
, J y0 O7 n. s6 k" @H^α+1=HOD^
: L; |; d! l+ y& [' k( ?6 S+ O( {+ E+ K F: D, v4 d2 o- i
HOD^η=∩α<η HOD^α
6 a7 u8 s" `8 N- O/ F6 V# [3 M, g, U+ d6 [7 e7 [
对所有HODs的脱殊扩张
# s" l, J0 i3 H6 l" h$ S: D+ K
4 A* S' i3 M" S' o5 v6 wgHOD=∩HOD^V[G]2 f$ a3 ]: [6 G% Z: b* V
或许还有：
5 h! Y- {9 R% J6 d2 ~, x) H序数宇宙V=ON
2 |6 o; L: B( v5 C: n5 R- o良序宇宙V=WO
) E M# M; N# R9 ]. I9 d良基宇宙V=WF
" `4 i7 u1 x6 _& _( y于是可能：
5 u: h, @5 k' ~ ]V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43