[論文レビュー] Forking in Short and Tame Abstract Elementary Classes

Will Boney, Rami Grossberg|arXiv (Cornell University)|Jun 27, 2013

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

ひとこと要約

この論文は、モデル理論的仮定（すなわち、完全性、タイプ短縮性、および順序性の不在）の下で、抽象的小集合クラス（AECs）におけるフォーク独立性の良好な定義を確立する。これらの条件下で、著者たちは対称性、一意性を満たし、U-ランクを有する非フォーク関係を定義する。主な貢献は、存在および拡張性の性質が成り立つ場合、この非フォーク関係が独立関係であることを証明したことであり、これは以前の結果を一般化し、大基数公理が理論を簡素化・強化することを示している。

ABSTRACT

We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC $K$ is tame, type-short, and failure of an order-property, we consider {\bf Definition.} Let $M_0 \prec N$ be models from $K$ and $A$ be a set. We say that the Galois-type of $A$ over $M$ \emph{does not fork over $M_0$} iff for all small $a \in A$ and all small $N^- \prec N$, we have that Galois-type of $a$ over $N^-$ is realized in $M_0$. Assuming property (E) (see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in particular satisfies symmetry and uniqueness and has a corresponding U-rank. We find conditions for a universal local character, in particular derive superstability-like property from little more than categoricity in a \big cardinal". Finally, we show that under large cardinal axioms the proofs are simpler and the non-forking is more powerful. In [BGKV] it is established that this notion of non-forking is the only independence relation possible.

研究の動機と目的

• 抽象的小集合クラス（AECs）におけるフォーク独立性の強固な概念を発展させること。これは一階論理のフォークを一般化するが、より広範な非一階論理的文脈にも適用可能である。
• 完全性、タイプ短縮性、および順序性の不在の下で、非フォーク関係が対称性や一意性といった核心的性質を満たすことを示すこと。
• この非フォーク関係がU-ランクを有し、特に大基数における分類可能性によって、超安定的性質に類似した振る舞いを示す条件を確立すること。
• 特に強くコンパクトな大基数を含む大基数公理が、証明を簡素化し、非フォーク枠組みを強化する役割を果たす程度を調査すること。

提案手法

• AECsにおける非フォークの定義を導入：A ⌣_M0 N であるとは、任意の小さな a ∈ A および任意の小さな N⁻ ≺ N に対して、a の N⁻ 上のガロア型が M₀ で実現されること。
• 非フォーク関係が正しく定義され、拡張に関して閉じていることを保証するため、存在および拡張（E）の性質を課す。
• 完全性およびタイプ短縮性を用いてガロア型を制御し、複雑性を低減することで、一階論理的性質をAECsに移行可能にする。
• 大基数仮定（例えば、強くコンパクトな基数）を用いて、超極限および超冪を構成し、対称性および拡張の証明を容易にする。
• 連続性および極限構成（例：サイズ < κ のモデルの直和極限）を用いて、局所的性質および一意性を導出する。
• 超極限および埋め込みを通じて、κ-コヒアーとシェラの非フォークの双対性を活用し、測度可能または強くコンパクトな基数の下で対称性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようなモデル理論的条件下で、AECsにおける良好な非フォーク独立性関係が存在するのか？
• RQ2 一階論理の記法が存在しない状況下でも、AECsにおける非フォーク関係が対称性、一意性を満たし、U-ランクを有することができるか？
• RQ3 完全性およびタイプ短縮性が、分類可能性および順序性の不在とどのように作用し合い、AECsにおける超安定的性質に類似した振る舞いを生じるのか？
• RQ4 大基数公理（特に強くコンパクトな基数）が、非フォーク枠組みをどの程度簡素化または強化するのか、特に対称性および拡張性の証明において。

主な発見

• 完全性、タイプ短縮性、順序性の不在、および（E）の性質の下で、論文で定義された非フォーク関係 ⌣ は、対称性および一意性を満たす。
• K が λ ≥ κ で分類可能で、弱い κ-順序性がなければ、非フォークの局所的性質は ω である。すなわち、κ∗_ω(⌣) = ω である。
• 完全な <κ-完全性および <κ-タイプ短縮性、弱い κ-順序性の不在、λ > κ での分類可能性、および（E）の下で、クラス K[κ,λ) は各基数において一意な極限モデルを持つ。
• κ が強くコンパクトで、K が λ = λ<κ で分類可能であれば、非フォーク関係は超安定的性質に類似した局所的性質を持つ。
• 測度可能な κ の下で、非フォーク関係 ⌣ は超極限を通じてシェラの S ⌣ と双対的である：M₁ ⌣_M₀ M₂ であることと、ある M₃ が存在して M₂ S M₃ ⌣_M₀ M₁ であることは同値である。
• 大基数の下では、対称性および拡張性の証明が著しく簡素化され、非フォーク枠組みはより強力で一般化可能になる。