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

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),接着再看更方便。

相关小说

我的Ai有点不正经 连载中
我的Ai有点不正经
爱发呆的小娜子
不正经Ai+不靠谱主人
0.5万字9个月前
漠殇(双楠) 连载中
漠殇(双楠)
迎娶星光
(已签约)同父异母的兄弟之间产生了别样的感情,为了上界不被消亡,弟弟受了伤。为了存活进入三千世界历练……全员恶人,随心所欲,没有善恶之分,哥......
19.1万字9个月前
绝色女配之逆袭修仙路 连载中
绝色女配之逆袭修仙路
棠梨小溪
来自21世纪的物理系高材生,沐棠溪。兢兢业业的看着学术论文,却是一朝穿越修真界,缩水成为了一个尚未出生的小婴儿。一朝降生,却只是庶女,初见长......
14.8万字9个月前
花开花缘 连载中
花开花缘
美丽的阳光_179046271
千年前花仙子跟她的师妹同时爱让一个男人,为了那个男人她的师妹毒死了她,千年后她的转世再次归来,爱她的人依然在等着她,可身边美男太多,该选谁…......
36.9万字9个月前
东风醉 连载中
东风醉
阿洧
一只小狐狸到了新家温柔手黑哥哥×别扭犟种弟弟
6.4万字9个月前
许愿蜡烛 连载中
许愿蜡烛
该用户已注销
我叫闵旭希,从记事起,就能看见这些肉眼无法看到的‘东西’。
10.3万字9个月前