[論文レビュー] No limit model in inaccessible

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

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

ひとこと要約

この論文は、$(\lambda,\kappa)$-極限モデルの非存在を確立し、$\lambda$ が強く非可算であるとき、強く独立な一階理論における一般化ペア予想の強い形を証明する。クラブフィルターと飽和性を用いたモデル理論的技法により、非強制限基数から強制限基数への先行の否定的結果を拡張し、これらの条件下ではそのような極限モデルが存在できないことを示している。

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$ への $(\lambda,\kappa)$-極限モデルの非存在の拡張を達成すること。
• 強制限基数 $\lambda$ における強く独立な理論について、$\lambda^+ = 2^\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)})$ 及びその超積を用いて、型の統合および非同型性を分析する。
• 関数 $F$ および集合 $\mathbb{D}_{\eta_\varepsilon}$ を用いて定義された特定の型 $p_\varepsilon$ を実現する、列 $\langle a_\alpha : \alpha < \lambda \rangle$ を持つ初等拡大 $N \succ M_{\gamma(*)}$ を構成する。
• クラブ $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)$-極限モデルは存在しない。これは用語の最も強い意味でも成立する。
• 強く独立な $T$ について、強制限基数 $\lambda$ において一般化ペア予想の強い形が成り立つ。これは、特定のモデルのペアが初等埋め込みのもとで同型にはならないことを意味する。
• $\alpha < \lambda^+$ に対してサイズ $\lambda$ のモデル $M_{\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})$ は非同型である。
• 非同型性の結果は、ある $\mu < \lambda$ のクラブに対して、特定の型集合 $\{\gamma < \mu : N' \models \varphi[a_\gamma, \bar{b}]\}$ が関連する $\mathbb{P}^{\gamma(1),\gamma(2)}_\mu$ 家族に属さないことを保証することで確立される。これにより初等同型性が遮断される。
• 証明は、列 $\langle a_\alpha \rangle$ の慎重な選択および $p_\varepsilon$ を通じた型の実現により、必要な非実現条件が順序数のクラブ上で一様に成立することを保証する。
• $\lambda^+ = 2^\lambda$ の仮定は、一般化ペア予想の定式化を簡略化するために用いられるが、核心的な結果は強制限基数 $\lambda$ に対してより一般に成り立つ。