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

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

就像复宇宙公理对复宇宙的描绘,其中的集合论宇宙没有哪个是特别的,对任何集合论宇宙都存在着“更好的”宇宙能看到前者的局限性,复复宇宙公理表达的是每个复宇宙也都不是特别的,并且总存在“更发达的”复宇宙,在它们看来前者只是一个“玩具”复宇宙.

类似定理 5.2.5,在一个不太强的假设之下,我们同样可以证明复复宇宙公理也是一致的.

引理 5.2.10 令 N 是 ZFC + Con(ZFC) 的模型,则 N 中的复宇宙 M0 从外面看仍然是一个复宇宙,即 M1 = {(m1,E1) | N ╞ (m0,E0) ∈ M1} 是一个复宇宙.

证明(1)可数化公理.给定 (m1,E1) ∈ M1。由 N 中的可数化公理,存在 n0,F1,有

N ╞ (n0,F0) ∈ M0Λ┌(n0,F0) ╞ m0 是可数的¬.

由定义, (n1,F1) ∈ M1:由(5.2.1), (n1,F1) ╞ m0 是可数的,由注 5.2.2,我们说 m1 是 n1 中的一个可数集合.

类似地,我们也有 (2) 伪良基公理.

(3) 可实现公理,给定 (m1,E1) ∈ M1、α ∈ m1 以及公式 φ(v1,v2),由 N 中的可实现公理,存在 n0 ∈ N,使得

N ╞ n0 = {x ∈ m0 | (m0,E0) ╞ φ[x,α]}

Λ(n0,E0) ∈ M0

所以,我们有(n1,E1) ∈ M1:并且对任意 x ∈ m1 ⊆ N,

x ∈ n1 ⇔ N ╞ x ∈ n0

(5.2.2) ⇔ N ╞ ┌(m0,E0) ╞ φ[X,α]¬

⇔ (M1,E1) ╞ φ[x,α]

可得 n1 = {x ∈ m1 | (m1,E1) ╞ φ[x,α]} 是模型 m1 中参数可定义的类:又由(5.2.1), (m1,E1) ╞ ┌(n0,E0) ╞ ZFC¬,因此我们说 (m1,E1) 认为 (n1,E1) 是一个ZFC 模型.

(4)力迫扩张公理,给定模型 m1 ∈ M1,公式 φ 和参数 α ∈ m1,φ(x,α)在 m1 中

定义了一个偏序 P1。由 N 中的力迫扩张公理,存在 N 中的 n0,G0,使得

N ╞ n0 ∈ M0ΛG0 是 P0 上的m0 脱殊滤 Λn0 = m0[G0]

首先,我们有 n1 ∈ M1.

其次,我们希望 G1 = {x ∈ N | N ╞ x ∈ G0} 是 P1 的 m1 脱殊滤,容易证明, G1 是 P1 上的滤。现任给 D0 ∈ m1,使得 D1 = {x ∈ m1 | m1 ╞ x ∈ D0} 是 P1 的稠密子集。则 m1 ╞ D0 是 P0 上的稠密子集。因而 N ╞ ┌m0 ╞ D0 是 P0 上的稠密子集¬。由于 N 认为 G0 脱殊,故 N ╞ D1N = {x ∈ m1 | m0 ╞ x ∈ D0} ∩ G0 ≠ Ø,即存在 x ∈ N, N ╞ x ∈ G0 且 N ╞ ┌m0 ╞ x ∈ D0¬ (即 m1 ╞ x ∈ D0),因此 G1 ∩ D1 ≠ Ø.

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

相关小说

颜冰——泪痕 连载中
颜冰——泪痕
冰晶玉洁🎶冰公主🎐
颜冰and唐舞
3.6万字5个月前
后续changed 连载中
后续changed
羚龙
添加了两名新人物可能会不太一样
0.5万字5个月前
某天成为公主:归来 连载中
某天成为公主:归来
该用户已注销
诡异的梦境,奇异的国度。明明是因为漫画而来到这个世界,可脑海中不属于自己的一些记忆是怎么回事?
4.7万字5个月前
造作修仙 连载中
造作修仙
太凌
太监作品,勿进
6.0万字5个月前
龙王悲曲(禁止搬运抄袭) 连载中
龙王悲曲(禁止搬运抄袭)
夕阳和玫瑰
【于2023年12月10日签约,禁止盗文盗图搬运发现必究】小谢培养自己恐龙的故事,虐文警告!(严禁搬运,严禁盗用抄袭!严禁盗图!一旦发现版权......
6.7万字5个月前
关于我离奇的生活 连载中
关于我离奇的生活
云末_
35.0万字5个月前