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

第六章特殊篇章数学公理解释额外内容 (13-11)

最后,我们证明 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),接着再看更方便。

相关小说

快穿文一本 连载中
快穿文一本
荒林
本人起名废,简介也不会。难哉被“意识”废弃的周夜,在毛遂自荐的系统引导下,误入歧视
1.5万字9个月前
锁心慕爱 连载中
锁心慕爱
安璃小福利
双男,天降小萌狐
0.3万字9个月前
刹那——我还是找到了你 连载中
刹那——我还是找到了你
刹那乂
“如果我的死,能换到重头再来……”“好久不见”“嗯,好久不见”本书为个人oc世界!原创!禁止抄袭角色及内容!oc们的立绘还在画呜呜,后面会统......
0.4万字9个月前
末世求生:我绑定了酒店系统 连载中
末世求生:我绑定了酒店系统
是紫色呀
末世三年,被亲妹妹害死的苏秦秦重生在死前三分钟,还绑定了一个酒店系统。自从绑定了系统,苏秦秦就一路起飞。末世没吃的?不好意思,酒店里啥吃的都......
9.0万字9个月前
潜执恋第一季 连载中
潜执恋第一季
腩腩是吃货
啊巴啊巴自己看
0.2万字9个月前
走过奈何桥去地狱 连载中
走过奈何桥去地狱
白画眉
奈何桥就像一条黑蟒,在白色阴泠的雾里,时隐时现,十分的诡异。孟婆说:“你们必须分开,还要喝下这碗忘忧汤。”秦雨和方佳佳互相凝视,牵手跳下奈何......
11.1万字9个月前