[论文解读] No limit model in inaccessible

Saharon Shelah|arXiv (Cornell University)|May 29, 2007

Advanced Topology and Set Theory参考文献 3被引用 6

一句话总结

本文证明了在 $\/lambda$ 为强不可达时，$(\lambda,\kappa)$-极限模型不存在，并证明了强独立一阶理论下广义对猜想的强形式。通过使用涉及俱乐部滤子和饱和性的模型论技术，将先前关于非强极限基数的结果扩展至不可达基数情形，表明在这些条件下此类极限模型不可能存在。

ABSTRACT

Our aim is to improve the negative results i.e. non-existence of limit models, and the failure of the generic pair property from math.LO/0609636 to inaccessible lambda as promised there. The motivation is that in [Sh:F756] the positive results are for lambda measurable hence inaccessible, whereas in math.LO/0609636 in the negative results obtained only on non-strong limit cardinals.

研究动机与目标

• 将 $(\lambda,\kappa)$-极限模型的非存在性从非强极限基数推广至强不可达 $\lambda$，正如早期工作中所承诺的那样。
• 在假设 $\lambda^+ = 2^\lambda$ 的条件下，为强独立理论在强不可达 $\lambda$ 处建立广义对猜想的强形式。
• 将关于极限模型和广义对性质的负结果推广至强不可达基数的情形，从而加强对大基数背景下模型论行为的理解。
• 研究当 $\lambda$ 为强不可达且 $T$ 为强独立时，大小为 $\lambda$ 的模型中饱和性与初等等价条件的失效。

提出的方法

• 使用强不可达 $\lambda$ 上的俱乐部滤子 ${{\mathscr{D}}}_\lambda$ 来分析大小为 $\lambda$ 的模型中的类型和饱和性性质。
• 应用无界集 ${{\mathscr{P}}}^{\text{ub}}(\delta)$ 和类型空间 $\mathbb{S}^n(M)$ 的概念，构造具有特定未实现模式的模型。
• 采用反演概念 $\text{inv}^5_\varphi(\delta, \text{id}, M_{\gamma(1)}, M_{\gamma(2)})$ 及其超积，分析类型合并与非同构性。
• 构造初等扩张 $N \succ M_{\gamma(*)}$，其中序列 $\langle a_\alpha : \alpha < \lambda \rangle$ 实现特定类型 $p_\varepsilon$，该类型由函数 $F$ 和集合 $\mathbb{D}_{\eta_\varepsilon}$ 定义。
• 利用一个子集 $E \subseteq \lambda^+$ 的俱乐部集，确保对任意 $\alpha_1 < \alpha_2$，$\beta_1 < \beta_2$ 属于 $E$，有 $(M_{\alpha_2}, M_{\alpha_1})$ 与 $(M_{\beta_2}, M_{\beta_1})$ 不同构。
• 应用 $\odot_6$ 和 $\odot_7$ 技术，确保某些类型集合不属于相关的 $\mathbb{P}^{\gamma(1),\gamma(2)}_\mu$ 家族，从而阻止同构。

实验结果

研究问题

• RQ1 强独立理论的 $(\lambda,\kappa)$-极限模型的非存在性是否可推广至强不可达 $\lambda$？
• RQ2 在强不可达 $\lambda$ 处，是否可为强独立理论证明广义对猜想的强形式？
• RQ3 当 $\lambda$ 为强不可达且 $T$ 为强独立时，大小为 $\lambda$ 的模型结构如何变化？
• RQ4 能否构造出大小为 $\lambda$ 的模型，使其以某种方式避免实现特定类型模式，从而阻止模型对之间的同构？
• RQ5 在 $\lambda^+ = 2^\lambda$ 和 $\lambda$ 上的俱乐部滤子的相互作用下，如何阻止极限模型的存在？

主要发现

• 对任意强独立理论 $T$ 和强不可达 $\lambda > |T|$，即使在该术语的最强意义上，也不存在 $(\lambda,\kappa)$-极限模型。
• 在强不可达 $\lambda$ 处，强独立 $T$ 的广义对猜想的强形式成立，即某些模型对无法通过初等嵌入同构。
• 通过构造大小为 $\lambda$ 的模型 $M_{\alpha}$（$\alpha < \lambda^+$），可得到一个子集 $E \subseteq \lambda^+$ 的俱乐部集，使得对任意 $\alpha_1 < \alpha_2$，$\beta_1 < \beta_2$ 属于 $E$ 且 $\alpha_2 \neq \beta_2$，有 $(M_{\alpha_2}, M_{\alpha_1})$ 与 $(M_{\beta_2}, M_{\beta_1})$ 不同构。
• 通过确保某些类型集合 $\{\gamma < \mu : N' \models \varphi[a_\gamma, \bar{b}]\}$ 不属于相关的 $\mathbb{P}^{\gamma(1),\gamma(2)}_\mu$ 家族（对某个 $\mu < \lambda$ 的俱乐部集），从而建立非同构性结果，阻止初等等价同构。
• 证明依赖于对序列 $\langle a_\alpha \rangle$ 和通过 $p_\varepsilon$ 实现的类型进行仔细选择，以确保所需未实现条件在序数的俱乐部集上一致成立。
• 假设 $\lambda^+ = 2^\lambda$ 用于简化广义对猜想的表述，但核心结果在更一般的情形下对强不可达 $\lambda$ 依然成立。