Hankins模型构造 (2-1)

这不是一个仅关于模型论的帖子。有些时候我们希望构造一个满足要求的模型，比如omitting type，或者不包含某个实数α∈ωω 的KP的 ω-模型，亦或是KP的保持某个标准序数 α＜ω₁ 的模型。

KP是什么理论实际上不重要，可以看成是ZF的弱化版本，KP已经可以证明序数等价于∈ -下的线序，且有一个 Σ₁ 的秩函数 rk：V → Ord 为每个元素赋予一个秩。一个KP的模型 (M，E) ，其认为的序数不一定是真正的序数，即其对应的线序并不一定是良序。定义其标准部分 st(M)＝{x∈M：∃α ∈ Ord (M，E)╞ rk(x)＝α} ，即其那些秩为真实序数的元素的集合。那么 (st(M)，E) 仍然是KP的模型，而且是满足外延公理的良基模型，所以它有一个传递坍塌 (A，∈) ，我们称一个对象（比如一个函数，实数， ω 等） α∈M ，当且仅当a在这个传递坍塌中。当然这里的叙述比较模糊，我也并非要写一个Admissible set theory的入门，感兴趣的可以参考[1]。

任给一个非Δ¹₁ 的实数 α∈ωω ，我希望构造一个KP的 ω-模型 (M，E) 不包含 α 。下面将介绍一种源自Hankins的比较系统的构造方法。

令语言Ը 为在集合论语言上添加可数个常元符号 C＝{cᵢ：i∈ω} 得到的语言。令 S 为其所有语句的集合。考虑集合 Con＝{s∈S＜ω：KP＋s is consistent}

于是Con上有一个天然的偏序 ⪯ ，使得 s ⪯ t当且仅当 s 扩张 t 。这里我们将运用力迫法的思想， 将Con看成是一个力迫偏序，每个条件 s∈Con 是与KP相容的一组定理。

我们称集合D ⊆ Con 是稠密的当且仅当

1. D向下封闭，即 ∀s∀t(s ⪯ t∧t∈D → s∈D) .

2. ∀s ∈ Con∃t ⪯ s(t∈D) .

如果F 一簇Con上的稠密集， f∈Sω 称为 F-脱殊（generic）的，当且仅当 ∀D∈F∃n(f ⨡ n∈D) 。如果 F 是可数的，则可证明总存在 F-脱殊的 f 。

下面我们只要给出具体的稠密子集，就可以让最后的结构满足要求。比如在这个问题下：

1. 定义

Cф＝{s ∈ Con：⌜ф⌝ ∈ s∨⌜¬ф⌝ ∈ s}，这里 ф ∈ s 意思是 ∃i＜|s| s(i)＝⌜ф⌝ .

2. 对每个存在式 ∃xф ，定义

Eф，ₓ＝{s ∈ Con：⌜∃xф⌝ ∉ s∨∃c ∈ C(⌜фˣc⌝ ∈ s)}其中 фˣc 为将 ф 中x的自由出现全部替换成c得到的语句。

3. 对每个 c ∈ C ，定义

Wc＝{s ∈ Con：⌜c ∈ ω⌝ ∉ s∨∃n ∈ ω(⌜c＝n⌝ ∈ s)}

4. 对每个 c ∈ C ，定义

Ac＝{s ∈ Con：⌜c ∈ ωω⌝ ∉ s∨∃n，m ∈ ω[⌜c(m)＝n⌝ ∈ s∧α(m) ≠ n

上面定义的集合都是稠密的。第一种稠密集保证扩张是一致的；第二种稠密集是Hankins的自显存在要求（实际上就是量词消去）；第三种保证扩张是一个ω-模型；第四种保证实数 α 不在扩张中。

这里给出第四种集合的稠密性证明，显然每个Ac 都是向下封闭的，假设某个 Ac 不是稠密的，则 ∃s∈Con∀t ⪯ s(t ∉ Ac) ，从而对每个 t ⪯ s ， 都有⌜c ∈ ωω⌝ ∈ t∧∀n，m ∈ ω[⌜c(m)＝n⌝ ∈ t → α(m)＝n]

这导致 α(m)＝n 当且仅当

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