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

特殊篇章完整版集合论序列(公理) (14-12)

最后,我们证明 n1 = m1[G1],由定理2.2.16,我们只需证明 m1 ⊆ n1, G0 ∈ n1,并且 n1 所有元素,都是从 G0 和 m1 中参数可定义的。 m1 ⊆ n1、 G0 ∈ n1,由 N ╞ N0 = m0[G0],存在公式 ψ 及参数 b ∈ m1 使得 N ╞ ┌n0 ╞ ∃!y(ψ(y,b,G0) Λ x = y)¬。因而 n1 ╞ ∃!y(ψ(y,b,G0) Λ x = y).

(5)嵌入回溯公理。给定模型 m11 ∈ M1,公式 φ1,φ2 和参数 a,b ∈ m11。假设 m11 认为:“ j01 (其中 j11 = {x ∈ m11 | m11 ╞ φ1[x,α]}) pilz,o]})是从自身到模型 m02 = {x ∈ m11 | m11 ╞ φ2[x,b]} 的 Σ0 初等嵌入.”我们把引号中的公式(集)记为 ψ[a,b],则 m11 ╞ ψ[a,b]. 由(5.2.1), N ╞ ┌m01 ╞ ψ[a,b]¬. 再由注 5.2.3, N 认为 j1 确实是初等嵌入,由 N 中的回溯嵌入公理,存在 N 中 m00 以及参数 a0,b0,使得

N ╞ m00 ∈ M0 Λ a0,b0 ∈ m00 Λ ┌m00 ╞ψ[a0,b0]¬

Λ j00(a0) = a Λ j00(b0) = b Λ m01 = {x ∈ m00 ╞ φ2[x,b0]}

其中, j00 是模型 m00 中由公式 φ1 和参数 a0 定义的.

我们有, m10 ∈ M1;类似(5.2.2), m11 = {x ∈ m10 | m10 ╞ φ2[x,b0]},是模型 m10 中参数定义的类;在 m10 看来, j10 = {x ∈ m10 | m10 ╞ φ1[x,a0]}是

从自身到 m11 的初等嵌入,即 m10 ╞ ψ[a0,b0];并且 j10(a0) = a,j10(b0) = b,从而 j10(j10) = j11.

定理 5.2.11(主定理)假设存在一个不可达基数 κ. 令 M = CCSMVκ(ZPC+Con(ZFC))是 Vκ 中所有可数的可计算饱和的 ZFC + Con(ZFC)模型组成的集合,则

MM = {CCSMN(ZFC) | N ∈ M}.

是由复宇宙组成的集合,且满足复复宇宙公理.

证明首先,由于 κ 是不可达基数,那么 Vκ 是 ZFC 的模型.由向下的 Lowenheim-Skolem 定理,存在一个 ZFC 的可数模型 (ω,R). 显然,该模型也在 Vκ 中,因此, Vκ 也是 ZFC + Con(ZFC) 的模型。类似地,我们可以迭代任意有穷次,如 Vκ ╞ ZFC + Con(ZFC + Con(ZFC)).

又由可计算饱和模型存在定理(参见[3,112), M非空.

对任意 N ∈ M, N 是ZFC+Con(ZFC)的模型。由定理 5.2.5,CCSMN(ZFC)的复宇宙,由于可计算饱和模型都是非良基的,在 N 看来 CCSMN(ZFC) 中的模

型都是非良基的。由引理 5.2.10,从外面看, CCSMN(ZFC) 也确实是复宇宙.

现在我们只需要证明存在一个 MM 中的一个复宇宙,而 N 是其中的一个元素.

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

相关小说

穿书之师尊难为 连载中
穿书之师尊难为
北骇
沈长明精通占卜之术,被封为国师,正春风得意之时,突然穿书到一个狗血虐恋的话本里。在话本里,和他同名同姓的沈长明,被亲手养大的徒弟顾谪废了修为......
57.9万字9个月前
清冷神女她动心了 连载中
清冷神女她动心了
忆梦_14718115295567241
【1v1双洁】传说东海里有一只鲛人,他在每次月圆之夜会浮出海面对着月亮唱歌以此想要唤回自己的爱人。
0.3万字8个月前
后室:完美的实验体(派对客篇) 连载中
后室:完美的实验体(派对客篇)
莺啼月洛
因为爱好和平,被派对之主拿去做实验,实验成功,她变得十分完美,但是...(作者上本书没灵感了,等想到内容就更新,实在等不及就看这本吧)因为作......
1.1万字8个月前
清逆苍穹 连载中
清逆苍穹
北街小道猫姑娘
现代的绝地杀手穿越到古代北清国清河府清河郡主——废物的身上,化解了亲人与自己的仇恨,要查清杀害原主母亲的凶手,一次次的摩擦,陷害与遇难;一次......
6.6万字8个月前
短篇微型小说 连载中
短篇微型小说
落月花凉
5.8万字8个月前
成长路上之任性的青春 连载中
成长路上之任性的青春
爱笑夏末
渣文笔,慎入!看书搜索:夏日幻想,此书仅供参考本书是小伙伴们在超能学院上学的日子,他(她)们一起哭,一起笑,一起解开藏在身上的秘密,建立了深......
5.4万字8个月前