可构造宇宙V=L：
. U1 O: [' d) B4 X6 o2 B/ x7 Q9 Q定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
6 x6 ^7 B6 |* s) v. q# q4 G0 u- B4 Nx = {y∈X :φ[y,u,u,u,……]1 J, v% p) k. d
然后：
" o/ |% A% ~$ K. ZL=
! T( f9 `2 f5 X. _3 YL=Def(L1)={}=1
, X. c, W) l# P: iLn+1=Def(Ln)=n5 Z0 j. z8 K8 e m) v3 a) t% I/ h
Lω=∪＿k<ω Lω
3 X7 M% H; F- {Lλ=∪＿k<λ λ is a limit ordinal
/ y( T0 y6 Y( y是极限序数
. U; \" R$ ]! w1 w6 jL=∪＿k Lk，k跑遍所有序数
. N" o9 R% F) p3 f& F8 Z) J遗传序数可定义宇宙HODs：
9 _. e: T2 @( p# O( E/ ?2 R- s# T# E7 a
HOD=V) X. v0 b9 ~ C8 F4 U* r* ~
% u" |' S& ?) o2 }
HOD=HOD^( E' F( \1 |- ?9 S) X
2 Q$ X% b! }5 k$ D
HOD^ω=∩＿n<ω HOD( n1 r! \9 h" {4 k* E/ c" q
# ~- N9 Q/ H3 o9 P9 H- f( h9 UH=V& P& s0 O- L4 H/ c: b
0 O2 g) ?+ W/ cH^α+1=HOD^6 y% C( @' i! b# }: c- ~
& F" W2 E5 G$ @+ i( x- _- C B* m
HOD^η=∩α<η HOD^α t4 h1 W: h8 B
* e* @" \4 X m2 z# Y) _) t+ g对所有HODs的脱殊扩张
& L* J$ [% T. [9 X+ Q0 C [$ V! H6 [3 W( a9 ?$ ]+ }
gHOD=∩HOD^V[G]/ e7 {2 C* S' t9 H8 F
或许还有：; ]9 C- e3 j6 Q
序数宇宙V=ON
' [9 e& a2 z% t" W f8 ]) g" N良序宇宙V=WO" R3 @6 Z5 {0 t, A& a5 x
良基宇宙V=WF; Z# B; {) h; ^- y
于是可能：8 L4 x/ k' n' ?% {( s3 f( |
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43