逻辑论文 (6-5)

　　我) 尽管 φ ∈ 送.T ⊨Ω φ 暗指T ⊢Ω φ

　　二)T 是ω一致的蕴涵吗T 是ω满意的。

　　赞成的：我) ⇒ ii)假设T 不满足ω要求。那么对于所有中国工商银行来说。B和全部α，Vᴮα ⊭ T. 所以，对所有人来说B等等αα.如果 ⊨ ψ Vᴮ 那么Vᴮα ⊨ ⊥真空-

积极地 因此，T ⊨Ω ⊥.根据假设，T ⊢Ω ⊥，我们哈明白了吗T 是ω不一致。

　　二) ⇒ )假设T ⊬Ω φ.然后T∪{￢φ}⊬Ω φ，因为否则T ⊢Ω ￢φ → φ.

　　然后T ⊢Ω φ ∨ φ，给个矛盾。所以，T∪ {￢φ} 是ω一致的。

　　因为根据假设，T∪{￢φ} ω是否令人满意，有B 和α 到这样的程度

　　Vᴮα ⊨ T∪{￢φ}.因此T ⊭Ω φ. □

　　最后，我们注意到它是一致的，ω猜想是真的，作为W面向对象的 喧闹已经表明它适用于具有适当类别的精细结构模型

　　W面向对象的枢机主教。

参考

　　[1]页（page的缩写）德霍尔诺伊，焚成gr｀埃斯近几年来其他seduc(翁蒂努sW ο奥丁)，埃米奈尔布尔巴基55英尺梅·安002-2003年，第915期。

　　[2]冯，马吉德，伍丁，泛贝尔实数集。集合论连续体（犹大，正义和正义）oodin，编辑），MSRI出版公司，柏克莱，加拿天，1989年，第203-242页，施告林格出版社，1992年。

　　[3]南杰克逊，结构一致性广告的后果集合论手册奥雷曼，A.Kanamori和M.Magidor编辑。To出现。

　　[4]T.杰奇，集合论，3d版，施普林格，纽约ork，2003。

　　[5]A.金盛，上限越高。大型汽车集合论中的元素从一开始。数理逻辑透视。施普林格五型厄拉格。柏林，1994年。

　　[6]P.B.拉森，静态测试pteer。吴宇森的课程笔记晚餐。大学-大学系列讲座，五ol。32.美国数学学会维登斯岛。2004.

　　[7]P.B.拉森，确定性模型上的orcing集合论手册矿石-man，A.Kanamori和M.Magidor编辑。To出现。

　　[8]地方检察官马丁，钢铁公司，的范围L(稀有)，Cabal研讨会79-81，讲座

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

　　[9]Y.N.Moschovakis.描述性设置阿诺德认知评鉴学说逻辑和基础的研究数学。Vol。100.北荷兰出版公司。纽约阿姆斯特丹ork，牛津，1980年。

　　[10]南Shelah，W.H.Woodin，大cnrdinals暗示每个环合理定义的一组关于als是Lebesgueme可测量的。以色列数学博士。第70卷，第3号（1990年），第381-394页。

　　[11]J.钢铁，Wo的一个定理奥丁在鼠标设置。预印本。2004年7月14日。

　　[12]W.H.伍丁，决定性公理、强制公理和非平稳性理想。逻辑及其应用系列，第1卷，1999年。

　　[13]W.H.M面向对象的晚餐，连续统假说。逻辑讨论会论文集，2000.To出现。

　　[14]W.h.伍丁，这Ω-猜想。复杂性方面(Kaik大浦，2000)。德格鲁特逻辑及其应用丛书，第4卷，第155-169页。德国，柏林，2001

　　[15]W.H.伍丁，连续统假说，我。通知Amer。数学。社会主义者，48(6)：567-576，2001.

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