[論文レビュー] Abstract elementary classes near aleph_1

Saharon Shelah|ArXiv.org|May 29, 2007

Advanced Topology and Set Theory参考文献 15被引用数 4

ひとこと要約

この論文はZFCにおいて、$Γ_{\omega_1,\omega}[\mathbb{Q}]$内の任意の文が非可算濃度の唯一のモデルを持たないことを確立し、Baldwin予想を確認した。抽象的初等クラス（AECs）を導入・分析し、特に極限モデルとスーパー極限モデルに焦点を当て、$2^{\aleph_0} < 2^{\aleph_1}$の下でPC${}_{\aleph_0}$-表現可能なAECsが$\aleph_1$および$\aleph_2$で非同型モデルの数が有界であることを証明し、$\aleph_1$近傍におけるモデル理論的分類を前進させた。この研究は、集合論的仮定を弱める一方で、AECsと$\mathbb{L}_{\omega_1,\omega}$-公理化可能クラスとの間の関係を確立した。

ABSTRACT

We prove in ZFC, no psi in L_{omega_1,omega}[Q] have unique model of uncountable cardinality, this confirms theBaldwin conjecture. But we analyze this in more general terms. We introduce and investigate a.e.c. and also versions of limit models, and prove some basic properties like representation by PC class, for any a.e.c. For PC_{aleph_0}-representable a.e.c. we investigate the conclusion of having not too many non-isomorphic models in aleph_1 and aleph_2, but have to assume 2^{aleph_0}&lt;2^{aleph_1} and even 2^{aleph_1}&lt;2^{aleph_2}.

研究の動機と目的

• ZFCにおいて、$\psi \in \mathbb{L}_{\omega_1,\omega}[\mathbb{Q}]$が非可算濃度の唯一のモデルを持つことはない、というBaldwin予想を確認すること。
• $\aleph_1$近傍における抽象的初等クラス（AECs）のモデル理論的分析を一般化し、特に飽和モデルや完全モデルの代わりに極限モデルとスーパー極限モデルを導入・研究すること。
• $2^{\aleph_0} < 2^{\aleph_1}$および$2^{\aleph_1} < 2^{\aleph_2}$の仮定の下で、PC${}_{\aleph_0}$-表現可能なAECsが$\aleph_1$および$\aleph_2$で非同型モデルの数を調査し、[\Sh:87a]および[\Sh:87b]の先行結果を拡張すること。
• すべてのAECが型省略付きの擬似初等クラスとして表現可能であることを示し、AECsと$\mathbb{L}_{\omega_1,\omega}$-公理化可能クラスとの間の関係を確立すること。
• 完全な結合性や完全な初等埋め込みが存在しない状況においても、一般化された実現と強制的意味論を用いた、$\aleph_1$近傍におけるAECsの分類フレームワークを提供すること。

提案手法

• AEC $\mathfrak{K}$におけるスーパー極限モデルの概念を導入し、$M \in K_\lambda$が$\leq_{\mathfrak{K}}$-増加列（長さ$\delta \leq \|M\|$）について普遍的かつ閉じており、合併において同型が保存されることを定義する。
• $(\lambda, \kappa)$-スーパー極限モデルを、共終型$\kappa$の列に制限されたスーパー極限モデルの変種として定義し、モデル構成と飽和的性質のより細かな制御を可能にする。
• 標準的な実現の代わりに「強制的」または「一般化された」満たし方を用いる「一般化実現」の概念を用い、完全な結合性や初等埋め込みが欠落しているAECsを扱う。
• $\mathbb{L}_{\omega_1,\omega}$および$\mathbb{L}_{\omega_1,\omega}[\mathbb{Q}]$-公理化により、特定のAECs $\mathfrak{K}^1, \mathfrak{K}^2, \mathfrak{K}^3, \mathfrak{K}^4$を構成し、$\mathfrak{K}^4$は$\aleph_0$-生成可能で$\mathbb{L}_{\omega_1,\omega}$で公理化されている。
• Martinの公理（$\text{MA}_{\aleph_1}$）を適用し、$\mathfrak{K}^2, \mathfrak{K}^3, \mathfrak{K}^4$が$\aleph_1$で分類的であることを示し、$\aleph_0$-結合性がなくても$\aleph_0$および$\aleph_1$で分類的であるPC${}_{\aleph_0}$-AECsの存在を示した。
• すべてのAECがわずかな変更を加えることでPC${}_{\aleph_0}$-表現可能であることを確立し、標準的な論理で初等的でないAECsであっても、$\mathbb{L}_{\omega_1,\omega}$-文を用いて表現可能であることを可能にした。

実験結果

リサーチクエスチョン

• RQ1 すべての$\psi \in \mathbb{L}_{\omega_1,\omega}[\mathbb{Q}]$が非可算濃度の唯一のモデルを持つのか、そして追加の集合論的仮定なしにZFCでこれを証明できるのか？
• RQ2 $\aleph_1$近傍におけるAECsのモデル理論的性質は、安定な一階理論における飽和モデルや完全モデルの代わりに、極限モデルとスーパー極限モデルを用いて分析可能か？
• RQ3 PC${}_{\aleph_0}$-表現可能なAECsが$\aleph_1$および$\aleph_2$で最大$2^{\aleph_1}$個の非同型モデルを持つ条件は何か？また、$2^{\aleph_0} < 2^{\aleph_1}$のような仮定がこの上限に与える影響は？
• RQ4 すべての抽象的初等クラスは型省略付きの擬似初等クラスとして表現可能か？また、この表現はモデル数や分類的性質の分析をどのように促進するか？
• RQ5 完全な結合性や完全な初等埋め込みを要求しない状況でも、一般化実現を用いたモデル理論的枠組みにより、$\aleph_1$近傍におけるAECsの分類結果を得られるか？

主な発見

• この論文はZFCにおいてBaldwin予想を確認した：$Γ_{\omega_1,\omega}[\mathbb{Q}]$内の任意の文$\psi$は非可算濃度の唯一のモデルを持たない。これは長年の未解決問題を解決した。
• すべてのAECはPC${}_{\aleph_0}$-表現可能である。つまり、型省略付きの擬似初等クラスとして公理化可能であり、AECsと$\mathbb{L}_{\omega_1,\omega}$-論理との間の基礎的つながりを確立した。
• $2^{\aleph_0} < 2^{\aleph_1}$の仮定の下で、PC${}_{\aleph_0}$-表現可能なAECsは$\aleph_1$で最大$2^{\aleph_1}$個の非同型モデルを持つ。同様に$2^{\aleph_1} < 2^{\aleph_2}$の下では$\aleph_2$でも同じ上限が成り立ち、先行研究を一般化した。
• AEC $\mathfrak{K}$において$\lambda$でスーパー極限モデルが存在し、$\lambda$-結合性が失敗し、$2^\lambda < 2^{\lambda^+}$が成り立つならば、$\dot{I}(\lambda^+, \mathfrak{K}) = 2^{\lambda^+}$が成り立つ。これは結合性の失敗とモデル多様性との強い関連を示している。
• Martinの公理（$\text{MA}_{\aleph_1}$）により、$\mathfrak{K}^2, \mathfrak{K}^3, \mathfrak{K}^4$は$\aleph_1$で分類的であることが示された。これは、$\aleph_0$-結合性がなくても$\aleph_0$および$\aleph_1$で分類的であるPC${}_{\aleph_0}$-AECsの存在を示した。
• $\mathfrak{K}^4$は$\aleph_0$-生成可能なAECであり、$\mathbb{L}_{\omega_1,\omega}$で公理化されており、$\leq_{{\mathfrak{K}}^4}$は部分モデル包含である。$\text{MA}_{\aleph_1}$の下で$\aleph_1$で分類的であることが示され、非初等的でかつ分類的に公理化可能なAECの明確な例を与えた。