[論文レビュー] Generalized Indiscernibles as Model-complete Theories

Cameron Donnay Hill|arXiv (Cornell University)|Oct 27, 2012

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

ひとこと要約

本稿では、indiscerniblesの理論をモデル同伴を通じてモデル完備理論として扱うことで、Ramseyクラスと一般化indiscerniblesを統一するモデル理論的枠組みを提示する。ロビンソン理論の量化子なしベースを持つ理論のモデル同伴が、線形順序付き有限構造のFräisséクラスのFräissé極限の理論であることを確立し、自動同型群の極端な可換性とRamsey性の同値性を、完全にモデル理論的言語で再証明する。

ABSTRACT

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special kinds of companionable theories of finite structures, and much of the work in our arguments is carried in the context of the model-companion. Among other things, this approach allows us to prove that the companion of a theory of indiscernibles whose "base" consists of the quantifier-free formulas is necessarily the theory of the Fraisse limit of a Fraisse class of linearly ordered finite structures (where the linear order will be at least quantifier-free definable). We also provide streamlined arguments for the result of [6] identifying extremely amenable groups with the automorphism groups of limits of Ramsey classes.

研究の動機と目的

• Ramseyクラスと一般化indiscerniblesのモデル理論的記述を提供し、一貫性のある枠組みで先行研究を統合すること。
• 『indiscerniblesの理論』を、制約のないモデル化性（UMP）を有するロビンソン理論として形式化し、構造的Ramsey性と結びつけること。
• 量化子なしベースを持つロビンソン理論のモデル同伴が、線形順序付き有限構造のFräisséクラスのFräissé極限の理論であることを示すこと。
• 自動同型群のRamsey性と極端な可換性の同値性を、モデル理論的道具のみを用いて再記述・簡略化すること。
• 今後の分類理論的応用、例えばNIPおよびNSOP理論をindiscernibles理論の収縮を通じて特徴付ける基盤を築くこと。

提案手法

• 量化子なしで閉じた式の集合Δをベースとするロビンソン理論を定義し、ブール結合、部分論理式、変数の置換についての閉包を保証する。
• Δ-埋め込みの概念を導入し、存在的閉包とExt(T₀)の公理化を通じてモデル同伴を定義し、極小完全（e.c.）モデルがT₀ ∪ Ext(T₀)を満たすことを保証する。
• 制約のないモデル化性（UMP）を、T₀の有限モデルのクラスにおける構造的Ramsey性と同値であることを確立する。
• コンパクト性と有限Ramsey定理を用い、任意のT₀-テンプレートがより大きなモデル内でindiscernibleな構造を持つことを示し、UMPがRamsey性を意味することを証明する。
• スチューン空間双対性を応用し、自動同型群の型空間への作用を再定式化し、極端な可換性が型空間における不動点の存在と結びつくことを示す。
• 具体的な理論、例えば線形順序と最近共通祖先関係を持つ木構造、および兄弟順序を表す述語を備えた理論について、明示的なFräissé極限を構成し、それらがRamsey性を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化indiscerniblesとRamseyクラスを、単一のモデル理論的枠組みで統合するにはどうすればよいか？
• RQ2 量化子なしベースを持つロビンソン理論のモデル同伴の正確なモデル理論的特徴づけは何か？
• RQ3 制約のないモデル化性（UMP）が、有限モデルのクラスにおける構造的Ramsey性と同値となる条件は何か？
• RQ4 自動同型群のRamsey性と極端な可換性の同値性を、モデル理論的道具のみを用いて再証明するにはどうすればよいか？
• RQ5 Fräissé極限は、indiscernibles理論のモデル同伴を実現するために果たす役割は何か？

主な発見

• 量化子なし式からなるベースΔを持つロビンソン理論T₀のモデル同伴は、必ず線形順序付き有限構造のFräisséクラスのFräissé極限の理論である。
• ロビンソン理論T₀の制約のないモデル化性（UMP）は、T₀の有限モデルのクラスにおける構造的Ramsey性と同値である。
• RamseyクラスのFräissé極限の自動同型群が極端に可換であることは、そのクラスがRamsey性を満たす場合に限り成り立ち、型空間への作用を通じて示される。
• 線形順序、最近共通祖先関係、および兄弟順序を表す述語を備えた木構造の理論T₀は、ロビンソン理論であり、その有限モデルはRamsey性を満たすFräisséクラスをなす。
• T₀のFräissé極限は、有限列の木における帰納的接合プロセスを通じて構成され、可算かつ有限普遍なモデルが得られる。
• T₀のモデル同伴T₀*はT₀ ∪ Ext(T₀)によって公理化され、T₀の任意のモデルは、T₀*を満たす極小完全モデルにΔ-意味論的埋め込みで埋め込める。