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

特殊篇章世界基数(第二方案) (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),接着再看更方便。

相关小说

扶光邀月醉星河 连载中
扶光邀月醉星河
木笙尧
九天之上重华小神明落入凡尘,本以为他完蛋了,没想到,他却遇到一生中给陪他度过此生的人。
0.3万字6个月前
终极系列:再爱你一次 连载中
终极系列:再爱你一次
小佳太温柔
宇宙一共分为12时空、时空夹缝及一个魔界,12时空又可分为XYZ三个轴,其中X轴代表着金银铜铁4个时空,Y轴代表着木水火土4个时空,Z轴代表......
0.5万字6个月前
Godanddevil 连载中
Godanddevil
巳非知
关于oc的…
1.1万字6个月前
爱上你是我的青梅竹马 连载中
爱上你是我的青梅竹马
肖停
前世今生我永远戒不掉的是你。本书已签约禁抄袭禁二转那些匆匆的年华里,是日久天长的相依,又或是命运轮齿的注定。也许一言一行,一举一动早已撰刻到......
37.9万字6个月前
修仙之不做女主的垫脚石 连载中
修仙之不做女主的垫脚石
花胡哨
作为一名读者,突然看到一本书中和自己一样名字的作死女配时,倾心心中有一万句mmp不知当讲不当讲,亲眼看着她是如何把自己从万千宠爱弄成万人唾弃......
8.9万字6个月前
人间晚立秋 连载中
人间晚立秋
南珊一梦
京城将军府宠儿顾北冥顽劣成性,却偏偏迷恋上远离红尘的尼姑,是因为天仙般的美貌,还是缘分驱使自己动了不该有的心,亦或是因为前生未有缘,今生愿。......
5.3万字6个月前