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

逻辑论文 (8-7)

iii)假设ZF C是一致的。那么,对于任何句子,

ZF C 6`((ZF C²Ω ξ)→ (ZF C²)Ω ξ”)。

既然有ZF C+的车型,“就没有ZF C的车型”。

回想一下:

i) T是Ω-可满足当存在一个c.B.a.B和一个序数α

VαB²T。

ii)T为Ω-一致iff T 0Ω⊥.

以下重述了Ω-猜想

事实3.9。以下是每个T⊆Sent的等价项:

i) 对于所有ξ∈Sent,T²Ω ξ表示T`Ω

ii)T为Ω-一致意味着T是Ω-令人满意。

证明:i)⇒ii)假设T不是Ω-令人满意。那么对于所有c.B.a.B和所有α,VαB2 T。因此,对于所有B和所有α,如果VαB²T,则VαB平方Ş,为空。因此,T²Ω ⊥. 根据假设,T`Ω ⊥, 我们知道T是Ω-不一致的

ii)⇒i) 假设T0Ω ▪。则TŞ{,ξ}0Ω ξ,否则为T`Ω → ξ,然后T`Ω ξ∧ξ,给出了一个矛盾。因此,TŞ{Ω-一致的。

根据假设Ω-可满足的,存在B和α使得VαB²。因此T2Ω ▪。

最后,我们注意到Ω-猜测是正确的,正如Woodin已经表明,它适用于具有适当类别的精细结构模型Woodin基数。

参考文献

[1] hornoy,《关于连续性的进展》(d’apr’es Woodin),S’eminaire

Bourbaki 55`eme ann´ee,2002-2003,#915。

[2] 冯,马吉多,伍丁,《普遍的拜尔实集》。的集合论

Continuum(H.Judah,W.Just和W.H.Woodin,编辑),MSRI出版物,伯克利,

CA,1989年,第203-242页,施普林格出版社1992年。

[3] S.Jackson,AD的结构后果,集合论手册,M.Foreman,

A.Kanamori和M.Magidor编辑。

[4] T.Jech,《集合论》,第三版,斯普林格出版社,纽约,2003年。

[5] A.Kanamori,《更高的无限》。集合论中的大基数。

数理逻辑透视。施普林格Verlag。柏林,1994年。

[6] P.B.拉森,《静止的塔》。W.Hugh Woodin的课程笔记。大学系列讲座,第32卷。美国数学学会,普罗维登斯,RI。2004

[7] P.B.Larson,强迫确定性模型,集合论手册,M.Foreman,A.Kanamori和M.Magidor编辑。

[8] D.A.Martin,J.R.Steel,L(R)中尺度的范围,Cabal研讨会79-81,讲座

数学笔记。1019,施普林格,柏林,1983,86-96。

[9] Y.N.Moschovakis,描述集理论,逻辑学研究和

数学第100卷。北荷兰出版公司。阿姆斯特丹,纽约,

牛津,1980年。

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

相关小说

凤逐凌云志 连载中
凤逐凌云志
漓筑
三千流水觞觞,却只记得一个回眸,只言片语,一世别离。世有凌云山,司九辰上神之徒竹墨染下山历练,究竟是缘是劫。烛凌风:“我说过救了我,你会后悔......
30.8万字9个月前
芙蓉花开天子心 连载中
芙蓉花开天子心
中国天子
芙蓉花开天子心。芙蓉花开芙蓉心。紫薇花开紫薇心。紫薇花开喜欢吗?兰心这一生一世一辈子你喜欢我像芙蓉花开芙蓉心一样的美吗?兰贞这一生一世一辈子......
10.0万字9个月前
我是反派大爷 连载中
我是反派大爷
肖炘忱
【已签约】【快穿文】【正在修文】这是个只有反派的世界民国,穿越者,目标是送反派送到西天。S级的世界难度极大,有神经病有偏执狂有正人君子,但她......
12.4万字9个月前
无双帝国 连载中
无双帝国
羽翎生
“以血明鉴,焚香告知天地,今日所立誓言,若违背初心,万劫不复,永世不得超生。”越强大的武力、法术、科技、阵法等等,受到的伤害,损伤,就会越重......
32.0万字9个月前
星际空间梦魂篇 连载中
星际空间梦魂篇
皖皖很无奈
[已签约]已将三部星际空间合为一部星际空间,神族,和魔族的对决——————苍穹之下神族与魔族并存终有一者胜出而谁将成为这霸主无人知晓————......
15.3万字9个月前
花落:雨染倾城 连载中
花落:雨染倾城
欣然听雨
《花落·雨染倾城》【沉醉】(已完结)身份揭晓,无意之间动心。“我大冒险输了而已。”只不过,大冒险的内容是,对喜欢的人表白。【清空】(已完结)......
7.4万字9个月前