[論文レビュー] Categoricity of theories in L_{kappa, omega}, when kappa is a measurable cardinal. Part 1

Oren Kolman, Saharon Shelah|arXiv (Cornell University)|Feb 15, 1996

Advanced Topology and Set Theory被引用数 9

ひとこと要約

この論文は、κ が可測基数であるとき、無限論理 L_{κ,ω} における分類可能性（categoricity）を調査する。理論 T が基数 λ ≥ κ で分類可能であると仮定すると、|T| + κ の大きさの T のモデルの集合は、結合性（amalgamation property）を持つことが示され、大基数におけるモデル理論的構造の理解が進む。

ABSTRACT

We assume a theory T in the logic L_{kappa omega} is categorical in a cardinal lambda >= kappa, and kappa is a measurable cardinal. Here we prove that the class of model of T of cardinality = |T|+ kappa) has the amalgamation property; this is a step toward understanding the character of such classes of models.

研究の動機と目的

• 理論 T が大基数 λ ≥ κ で分類可能であるとき、L_{κ,ω} 論理における T のモデルのクラスの構造的性質を理解すること。
• このようなモデルクラスが、モデル理論における重要な構造的特徴である結合性を示すかどうかを調査すること。
• 大基数の仮定の下で、抽象的素性クラスの分類理論に貢献すること。
• L_{κ,ω} における分類可能性が、|T| + κ の大きさのモデルの挙動に与える影響を探索すること。

提案手法

• κ が可測基数であるとき、L_{κ,ω} における理論 T が基数 λ ≥ κ で分類可能であると仮定する。
• 抽象的素性クラスおよび無限論理に特有のモデル理論的技法を適用する。
• 可測基数の存在を用いて、モデルクラスの構造的性質を導出する。
• |T| + κ の大きさの T のモデルのクラスを分析し、結合性を確立する。
• 集合論および大基数の性質からの道具を用いて、モデルの構造を制約する。
• 分類可能性が大基数で成立することは、強い均一性とモデルの一意性を示すという事実に依拠する。

実験結果

リサーチクエスチョン

• RQ1 T が λ ≥ κ で分類可能で、κ が可測基数であるとき、L_{κ,ω} 論理における |T| + κ の大きさの T のモデルのクラスは結合性を満たすか？
• RQ2 L_{κ,ω} における分類可能性は、大基数の仮定の下でモデルクラスにどのような構造的制約を課すか？
• RQ3 可測基数の存在は、L_{κ,ω} における理論のモデル理論的挙動にどのように影響するか？
• RQ4 基数が |T| + κ のとき、L_{κ,ω} における分類可能性から結合性が導けるか？
• RQ5 可測基数は、モデルクラスの構造的整合性を保証するために果たす役割は何か？

主な発見

• |T| + κ の大きさの T のモデルのクラスは、結合性を満たす。
• T が基数 λ ≥ κ で分類可能で、κ が可測基数であるという仮定の下で、結合性が成立する。
• この結果は、|T| + κ の基数における T のモデルクラスに構造的整合性が存在することを確立する。
• 証明は、分類可能性、大基数の性質、無限論理におけるモデル理論的安定性の相互作用に依拠する。
• 研究結果は、大基数における L_{κ,ω} における分類可能性が、モデルクラスに強い構造的制約をもたらすことを示唆する。