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

第六章特殊篇章数学公理解释额外内容 (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),接着再看更方便。

相关小说

双女主:标记 连载中
双女主:标记
Tsing江逾白
小心进啊,主要就是一些初中生的感叹,但又无可否认
2.4万字5个月前
乌与浩的终极对决 连载中
乌与浩的终极对决
乔冉q
简介正在更新……耐心等待……
0.9万字5个月前
糟糕!我被徒弟盯上了 连载中
糟糕!我被徒弟盯上了
小叶子cc
叶清晚穿越到了一本修真小说里,还穿到了一个同名同姓的大佬身上,这也不算什么,更离谱的事,她是个女人,为什么穿到了男人身上?  当得知原主是个......
20.9万字5个月前
神兽金刚之林聪and.叶辉 连载中
神兽金刚之林聪and.叶辉
残梦碎城
1.1万字5个月前
快穿宿主哪里逃 连载中
快穿宿主哪里逃
芙茶
 当——  高冷帝王,崩坏了……  腹黑竹马,跑没了……  纯情总裁,自杀了……  那些脑残校草,妖孽教主……  还可靠吗?  某人欲哭无泪......
12.9万字5个月前
我的脑洞天马行空 连载中
我的脑洞天马行空
激流暗涌
随便写写,喜欢的可以自己搬
0.6万字5个月前