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

Ramsey基数 (2-2)

注意到上面的证明并没有涉及“measurable基数都是Ramsey基数”(Rowbottom在证明了Theorem 2之后又证明了这个定理)。如果要用模型论方法证明Theorem 2 的话是trivial的:假设κ 是measurable基数和最小的Ramsey,令 j:V → M 的见证 κ 可测的非平凡初等嵌入。类似于Theorem 2,令 fα 见证 α 不是Ramsey,其中 α<κ 。定义 F={fα}α<κ ,那么 V╞ ∀α<κ∃f∈F(Ψ(α,f)) ,其中 Ψ(α,f) 表示“f 见证 α 不是Ramsey”,由初等嵌入性质得 M╞ ∀α<j(κ)∃f∈j(F)(Ψ(α,f)) 。由于 κ<j(κ) ,则在 j(F) 中有函数 g 见证 κ 不是Ramsey,即 M╞ ∀H∈[κ]κ∃n∃s,t∈[H]ⁿ(g(s) ≠ g(t)),又因为 Vᴹκ₊₁=Vκ₊₁ ,所以 V╞ ∀H∈[κ]κ∃n∃s,t∈[H]ⁿ(g(s) ≠ g(t)) ,这与 κ 是Ramsey矛盾,反证定理成立。

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

相关小说

噩梦惊醒的时候我还没醒 连载中
噩梦惊醒的时候我还没醒
呵呵嘿嘿嘻嘻哈哈
一个罪恶的故事,谁都不是好人
1.7万字9个月前
错位秩序 连载中
错位秩序
思詩
『全文修改中』北斗联盟解散!苍龙星崛起!邪灵兽降临永恒的阴谋!转世归来,再见昔日的伙伴,竟以敌我对峙相见!苍龙!银河!永恒!我们的家园由我来......
14.6万字9个月前
异能源 连载中
异能源
锦九七
之前喜欢你失忆后就喜欢你?不存在的,某女拖着行李箱回到了国内,但是异能已经爆发,他竟然不认识自己的未婚夫了?
5.9万字9个月前
风和叶相撞 连载中
风和叶相撞
158***897_9053186109
她给我星光,我救她深海。
0.3万字9个月前
蜉蝣之羽 连载中
蜉蝣之羽
浅茶酒满
女主带有记忆重生,危机四伏,尔虞我诈,一步一坑。欢迎收看全家都是演技派系列,昨天是敌人,可能明天就是同盟。女主可爱的时候是真可爱,但是动起手......
3.5万字9个月前
希腊神话:冰封之雪 连载中
希腊神话:冰封之雪
月狸子
洛佩斯从山的顶峰诞生,于是世上有了冰雪与冬
0.0万字9个月前