时空龙帝VS基金会VS绘之翼VS绯色战纪VS花园VS自指引擎

显示全部楼层 · 发表于 2023-10-6 07:43:43

时空龙帝是什么?

显示全部楼层 · 发表于 2023-10-6 07:44:11

显示全部楼层 · 发表于 2023-10-6 07:44:53

143526？

显示全部楼层 · 发表于 2023-10-6 07:45:16

显示全部楼层 · 发表于 2023-10-6 07:45:24

可构造宇宙V=L：
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
x = {y∈X :φ[y,u,u,u,……]
然后：
L=
L=Def(L1)={}=1
Ln+1=Def(Ln)=n
Lω=∪＿k<ω Lω
Lλ=∪＿k<λ λ is a limit ordinal
是极限序数
L=∪＿k Lk，k跑遍所有序数
遗传序数可定义宇宙HODs：

HOD=V

HOD=HOD^

HOD^ω=∩＿n<ω HOD

H=V

H^α+1=HOD^

HOD^η=∩α<η HOD^α

对所有HODs的脱殊扩张

gHOD=∩HOD^V[G]
或许还有：
序数宇宙V=ON
良序宇宙V=WO
良基宇宙V=WF
于是可能：
V=L=ON=WO=WF=HOD=Ord=终极L=…………

		自动登录	找回密码
密码			立即注册

时空龙帝VS基金会VS绘之翼VS绯色战纪VS花园VS自指引擎

精彩推荐

浏览过的版块