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

特殊篇章世界基数(第二方案) (15-9)

而对任意β<δα 均存在秩最小的 Mᵦ,取Mδα ∈ M 使得 α 在 M 中可定义并且{Mᵦ:β<δα} ∈ M,则 M 认为 δα 是最小的 α-原始伯克利基数。从而对任意使得 crit(j)<δα 的 j ∈ ℜ(M),都有j(κ)=κ 。

  

(2)  

定理:对任意传递集 δα ∈ M 均存在 j:M → M 使得α<crit(j)<δα 并且 {α<δα:j(α)=α}=η₀

<δα

,定义j(ηₙ)=ηₙ₊₁,则

sup{ηₙ:n ∈ ω}=δα 。

  

由于 δα 为最小的 α-原始伯克利基数,所以对任意 ηₙ,M 都不认为 ηₙ 是α-原始伯克利基数,从而总存在

ηₙ ∈ Mₙ 见证 ηₙ 不是原始伯克利基数,而秩最小的 Mₙ 均存在于 M 中。

 

由于 j(δₙ)=δₙ₊₁ 蕴含

j(Mₙ)=Mₙ₊₁ 且

{Mₙ:n<ω} ∈ M,

  

对于

M*= M

∪{{({Mₙ:n < ω},α):α ∈ M}}

而言{Mₙ:n<ω}是可定义的,

  

故 j* :M* → M* 中有

j*({Mₙ:n<ω})

={Mₙ:n<ω} 

以及 j* (Mₙ)= Mₙ

  

将 j* 限制在 M 上即存在

j⁺ ∈ℜ(M)且 j⁺ (Mₙ)= Mₙ,

由于{ηₙ:n ∈ ω}在 δα 中无界,故

必有一 n 使得 crit(j⁺)<ηₙ,将

j⁺ 限制在 Mₙ 上即

j⁺⁺:Mₙ → Mₙ 且

crit(j⁺⁺)<ηₙ,则与 Mₙ 作为 ηₙ

不是 α-原始伯克利基数的反例矛盾 。

  

(3)

取一 crit(j)<δα 的 j ∈ ℜ(Vλ),可知 jω(crit(j))= η < δα ,

  

再取一 η<crit(j⁺)<δα 的 j⁺ ∈ ℜ (Vλ),可知 crit(j⁺)之下存在无界多的不可达基数,令 θ 是大于 η 的最小不可达基数,即有 j (θ)= θ ,将 j 限制在Vθ 上,则(Vθ,Vθ₊₁)╞ ZF² + ∃j:V→V

(4)

 

若κ是无界闭伯克利基数,则(Vκ,Vκ₊₁)╞ ZF²+∀A∃A-超级莱因哈特基数

  

取(2)中使用的技巧,对任意A,都存在 κ∈M,A在M中可定义,从而j∈ℜ(M)均有 j(A)=A 。若不存在一个 δ ∈ κ,使得对任意α ∈ κ 都有j∈ℜ(M)使得crit(j)=δ 以及α<j(δ),即对所有 j ∈ ℜ(M)的 crit(j)=δ,均存在 α ∈ κ,使得 j(δ)<α 。即最小的 α 为 αδ,定义无界闭集 C ⊂ κ为{γ<κ:∀δ(δ<γ → αδ <γ)},取(2)中使用的技巧同样使得 C 在 M 中可定义,则有

δ ∈ C → j(δ)∈ j(C),矛盾。

  

另外,对任意无界闭集 D ⊂ κ,都存在一个 M 使得 D 在 M 中可定义,取 D∩C 即可证明 D 中存在一个超级莱因哈特基数。

  

T₀: 大于 Ord 的“不可达基数”也会是“∑₁₋正确基数”,这将揭露出那个“超宇宙”的冰山一角。

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

相关小说

古蚀记:执手忘星河 连载中
古蚀记:执手忘星河
珞霪
风来的那一天,我看见彩虹与你,穿过云海……那天云白,天清,桃花纷飞,灼灼其华,我们一起回到桃花树下,好不好?————“为什么?明明我都已经跟......
2.9万字9个月前
末世重生有空间 连载中
末世重生有空间
七月雨呀
前世李静被未婚夫和闺蜜害的被丧尸啃食而死,家人也早被二人所害。一朝重生回到末世前,那就别怪她报仇雪恨!拥有种植空间,带领一家囤积物资,手撕绿......
19.8万字8个月前
快穿:坏蛋海王绝美妖艳 连载中
快穿:坏蛋海王绝美妖艳
少年月球_BoyMoon
【已签约】霸道总裁、禁欲教授、高冷医生、抑郁画家、黑大哥大等等,这些有能力不缺钱身份地位高的男性都逃不掉被渣的命运。糜芮一个渣男,养几个鱼塘......
6.4万字8个月前
压力太大,师尊是个高危职业 连载中
压力太大,师尊是个高危职业
闲时看隔壁风景
顾清绾作为仙界千万年来唯一飞身上神的第一人,却被雷劫劈得个差点形神俱灭,缘由竟然是她所失的天魂落入凡尘,导致气运之子黑化,罪责加身。为了修复......
21.8万字8个月前
十二星座守护者:无能为力 连载中
十二星座守护者:无能为力
天蝎_雨儿
别人都说她很强,可只有她自己知道,这全是伪装她太弱小了,弱小到只能一个人蜷缩在角落,默默流泪她想用知识武装自己那弱小的内心,用孤傲保护自己,......
7.4万字8个月前
快穿被我钓进鱼塘的他们 连载中
快穿被我钓进鱼塘的他们
少年月球_BoyMoon
【已签约】一位失忆的少年,他叫谢薄衍,是懵懂的?却很聪明有情商,推测以前是个老司机。系统699是凭空蹦出来的?不是,它有出生有来历,它来自快......
2.3万字8个月前