[論文レビュー] Few non-minimal types and non-structure

Saharon Shelah|ArXiv.org|Jun 3, 1999

Logic, programming, and type systems参考文献 4被引用数 4

ひとこと要約

この論文は、弱ダイアモンドとpcf理論を用いて、ある基数λにおける結合性の仮定と最小型の非密度の仮定の下で、λ⁺における同型でないモデルが多数存在することを示すことにより、安定性理論におけるモデル理論的問題を扱う。主な貢献は、非最小型が少ない理論における構造的非構造的結果である。

ABSTRACT

We pay two debts from [Sh:576] (math.LO/9805146). The main demands little knowledge from [Sh:576], just quoting a model theoretic consequence of the weak diamond. We assume that K has amalgamation in lambda, and that the minimal types are not dense to get many non-isomorphic models in lambda^+. For this also pcf considerations are relevant. The minor debt was the use in one point of [Sh:576] of lambda not= aleph_0, it is minor as for this case by [Sh:88] we ``usually'' know more.

研究の動機と目的

• Shelahの以前の研究[Sh:576]における未解決の技術的問題2つを解決すること、特にλ ≠ ℵ₀の役割と弱ダイアモンドのモデル理論的意味の点を対象とする。
• 最小型が理論において非密度的であるという仮定の下で、結合性がλで成り立つ理論について、λ⁺における多数の同型でないモデルの存在を確立すること。
• 非最小型の分析にpcf理論を組み込むことで、モデル理論における構造的結果を拡張すること。
• 非構造定理の文脈において、pcf理論のモデル理論的応用を提供すること。
• [Sh:576]における技術的負債を完結させることで、λ = ℵ₀のケースを[Sh:88]に言及して処理し、より強い結果が既に知られていることを活用すること。

提案手法

• 弱ダイアモンド原理を用いて、同型でないモデルの数に関連するモデル理論的帰結を導出する。
• pcf理論を用いて、型の構造とその特定の基数におけるモデルへの分布を分析する。
• λにおける結合性を用いて、型分割と飽和性の議論を通じてλ⁺における多様なモデルを構成する。
• 弱ダイアモンドのモデル理論的帰結に依存し、最小型が非密度的である場合に、多数の同型でないモデルが存在することを保証する。
• 安定性理論的技法と集合論的道具（pcfと弱ダイアモンド）を組み合わせて、非構造的結果を導出する。
• [Sh:88]を引用して、λ = ℵ₀という特殊なケースを処理し、より強いモデル理論的知識が既に利用可能であることを活用する。

実験結果

リサーチクエスチョン

• RQ1 結合性がλで成り立つ理論がλ⁺で一意なモデルを持たないのはどのような条件下か？
• RQ2 最小型の非密度が、λ⁺における同型でないモデルの数にどのように影響するか？
• RQ3 弱ダイアモンド原理が、非最小型の文脈における同型でないモデルの生成に果たす役割は何か？
• RQ4 pcf理論は、モデル理論における非構造定理にどのように貢献するか？
• RQ5 [Sh:576]におけるλ = ℵ₀に関連する技術的ギャップは、[Sh:88]の既存の結果を参照することでどのように解消できるか？

主な発見

• 最小型が理論において非密度的である場合、λ⁺には少なくとも2^λ⁺個の同型でないモデルが存在する。
• 弱ダイアモンド原理は、上記の仮定の下で多数の同型でないモデルの存在を示唆する。
• 最小型の非密度は、λ⁺におけるκ-安定性の失敗を引き起こし、非構造的要因として寄与する。
• pcf理論は、型の組合せ的構造とそのモデル数への影響を分析する上で不可欠である。
• λ = ℵ₀のケースは、[Sh:88]に言及することで解決され、より強いモデル理論的結果が既に知られている。
• 本論文は、[Sh:576]における技術的負債を、λ ≠ ℵ₀の仮定とその意味の両方を扱うことで完結させている。