[論文レビュー] Introduction to: classification theory for abstract elementary class

Saharon Shelah|ArXiv.org|Mar 20, 2009

Advanced Topology and Set Theory参考文献 46被引用数 24

ひとこと要約

この論文は、一階述語論理の安定理論的概念をより広範な非初等的文脈に一般化することで、抽象的小クラス（AECs）の分類理論を導入する。良いλ-フレームやフレームといった基礎的道具を確立し、安定AECsにおける構造定理を示し、非初等的文脈におけるŁoś予想や主要ギャップ定理の類似物の構築に道筋を示す。

ABSTRACT

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to find dividing lines, prove their consequences, prove "structure theorems, positive theorems" on those in the "low side" (in particular stable and superstable theories), and prove "non-structure, complexity theorems" on the "high side". It has started with categoricity and number of non-isomorphic models. It is probably recognized as the central part of model theory, however it will be even better to have such (non-trivial) theory for non-elementary classes. Note also that many classes of structures considered in algebra are not first order; some families of such classes are close to first order (say have kind of compactness). But here we shall deal with a classification theory for the more general case without assuming knowledge of the first order case (and in most parts not assuming knowledge of model theory at all). The present paper includes an introduction to the forthcoming book on Classification Theory for Abstract Elementary Classes

研究の動機と目的

• 抽象的小クラス（AECs）の分類理論を発展させ、一階論理の安定理論を非初等的文脈に一般化すること。
• 安定性および超安定性のパラダイムに従い、『良い振る舞い』（低）のクラスと『混沌とした』（高）のクラスを分ける境界（分岐）を同定・分析すること。
• 構造定理の実現を可能にする基礎的道具、たとえば良いλ-フレームおよびその発展形を確立すること。
• 非初等的文脈における主要なテスト問題、たとえばŁoś予想および主要ギャップ予想に取り組むこと。
• 非初等的AECsが非自明な分類理論を有することを示し、一般化された文脈における内容の有りかたについての懐疑を覆すこと。

提案手法

• 一階小クラスの一般化として抽象的小クラス（AECs）を導入し、強い部分構造関係と和集合に関する閉包性を特徴とする。
• 良いλ-フレームを主要な道具として定義する：サイズλのモデル上の型の長さ1の、整合的で安定的かつ非分岐な独立性の概念。
• 後続良いλ-フレームの概念を発展させ、良いフレームがより高い基数へどのように拡張できるかを示す。
• ω-後続良いλ-フレームの振る舞いを分析し、一階論理における安定性に類似した構造的性質を明らかにする。
• 型の統合、対称性、局所的性質といったモデル理論的技法を用いてフレームを構築・分析する。
• 強制法に類似したおよび組合せ論的技法（たとえば弱ダイアモンドイデアル、EMモデル）を用いて、AECsにおける非構造的性および複雑性を分析する。

実験結果

リサーチクエスチョン

• RQ1 一階論理に依存せずに、非初等的クラス、特にAECsに対して意味のある分類理論を開発できるか？
• RQ2 AECの文脈において、安定性、超安定性、カテゴリシティの適切な類似物は何か？
• RQ3 非分岐独立性の概念（すなわち良いλ-フレーム）をAECsでどのように構成・拡張できるか？
• RQ4 良いλ-フレームが存在する場合の構造的帰結は何か？ そして、これらは一階論理の安定理論的結果とどのように比較できるか？
• RQ5 主要ギャップ定理およびŁoś予想はAECsに一般化可能か？ そのような一般化に必要な条件は何か？

主な発見

• 局所的性質や統合性といったモデル理論的仮定の下で、良いλ-フレームが存在し、整合的な非分岐計算を支える。
• やや弱い仮定のもとで、良いλ-フレームの後続が構成可能であり、安定的性質がより高い基数へと伝播可能である。
• ω-後続良いλ-フレームは、対称性や局所的性質を示し、一階安定理論に類似した強力な構造的性質を示す。
• AECの理論は、『構造』（低側、例：代数的閉体）と『非構造』（高側、例：真の算術）の二分法を支持しており、一階分類理論に類似する。
• この枠組みにより、AECsにおけるŁoś予想および主要ギャップ予想の類似物を定式化可能であり、非初等的分類理論への実現可能な道筋を示唆する。
• 良いフレームの存在は、そのようなフレームを有するAECsが、ある濃度において同型に関してモデルを分類可能となる、良好に整った型理論を有することを示唆する。