数学联邦政治世界观
超小超大

(数学逻辑)篇章 (2-1)

Ω-逻辑具有Ω-完备的力量,引入Ω-猜想我们便可获得Ω-可判定 见证一切Ω-真命题是Ω-可证的

Ω-逻辑是用于谈论脱殊绝对性的无限逻辑

它的语义域是整个脱殊复宇宙,语法域是通用波莱尔集

通用波莱尔集的具体定义很复杂,简单来说就是ω^<ωₓ^λ<ω的某些子集,其中λ是某些序数,可以任意高所以Ω-逻辑的证明编码的基数可以是任意大的不可数基数

如果Ω-猜想成立,Ω逻辑使可以见证任意大的模型中包含的任意大基数,并将各种大基数公理以Wadge证明秩的深度分“强弱,重新衡量大基数的强度

武丁在Ω-猜想的视角下重新定义了“大基数”,他定义:一个性质是大基数性质,是在说:

1.P(a)断言了序数a是强不可达基数

2. P是Σ2的

3. P是不能被“小力迫”改变的

既然独立于ZFC的命题在一些模型里成立,在另一些模型里不成立,我们可以挑选一些自然的有意义的模型作为我们的检测模型(test structures ),研究在检测模型里成立的命题。

这在本质上是定义一种强逻辑,在所有检测模型里成立的命题就是强逻辑下有效的命题。

逻辑就是一种强逻辑,用它可以更好地刻画脱殊绝对性。

逻辑令T是语言 _set中的语句集,为语句,我们定义σ是T的Ω逻辑后承,符号表示为T⊨_Ωσ,如下:对任意完全布尔代数 ,任意序数α,如果Vαᴮ=T,则Vαᴮ⊨T.

特别地,如果T是空集,则σ称是Ω有效的,记作⊨_Ωσ

⊨_Ωσ这一概念的一个十分重要的性质是:假设存在武丁基数的一个真类,则关系⊨_Ω对任意脱殊扩张是绝对的,即对任意可数语句集T,任意语句σ,以及任意 :

T⊨_Ωσ当且仅当Vᴮ⊨“T⊨_Ωσ”

我们可以用以下概念重新塑述脱殊绝对性:

Ω完全的:

令T是理论而S是一语句集,则称T相对于S是Ω完全的当且仅当对任意σ∈S,T⊨_Ωσ或T⊨_Ω¬σ

所以,事实ω₁二就是说:假设存在武丁基数的真类,则ZFC相对于S={“H(ω₁)⊨σ”是语句}是Ω完全的。

但不幸的是,任何已知的大基数公理都不能生成对于H(ω₂)的完全理论,因此也不能证明H(2ω₂)的脱殊绝对性。

这正是关键的问题。

要定义Ω逻辑的证明概念⊢Ω需要很多技术的细节,我们在此省略。

事实上,一个证明是实数的一个子集,而重要是如果假设存在武丁基数的真类,也是脱殊不变的。

而且

可靠性假设ZFC,令T是可数理论,是语句φ,则T⊢_Ωφ蕴涵T⊨_Ωφ.

武丁还猜想在大基数假设下,Ω逻辑是完全的:

Ω-猜想:

假设ZFC并且存在武丁基数的真类,则对任意语句φ,蕴涵⊨_Ω φ

武丁还猜想在大基数假设下,Ω逻辑是完全的:

Ω-猜想:

假设ZFC并且存在武丁基数的真类,则对任意语句φ,蕴涵⊨_Ω φ

这被证明是一个强有力的命题,因为我们可以证明:

定理假设存在武丁基数的真类,并且假设猜想成立,则

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

迷雾主义 连载中
迷雾主义
源焰焰焰焰
狼王梦黑仔中心向
0.1万字6个月前
有病的他 连载中
有病的他
珑玲妹妹
不正常
0.1万字5个月前
辞月怜花 连载中
辞月怜花
梵琪
情爱几何,风花雪月,从他人之常情见世间之爱意
1.5万字5个月前
变形金刚之我是克里斯 连载中
变形金刚之我是克里斯
芝士馅的小蜂蜂
作者已停更,不要再收藏和关注了,抱歉任何喜欢这部作品和等待结局的各位们,因为现在正在读初中,实在没时间更新(如果想去看我新写的小说可以去LF......
7.5万字5个月前
暮夜卿君心 连载中
暮夜卿君心
作者一肖
一别两茫茫再无相见
10.5万字5个月前
穿越兽世之夫君多多 连载中
穿越兽世之夫君多多
雾战
话不多说请您自己看
2.3万字5个月前