[論文レビュー] An independence theorem for NTP2 theories

Itaï Ben Yaacov, Artem Chernikov|arXiv (Cornell University)|Jul 2, 2012

Advanced Topology and Set Theory参考文献 15被引用数 7

ひとこと要約

この論文は、NTP2理論における基本的な独立性定理を確立する。分割がアレイ分割と一致すること、および拡張基底上でフォークが鎖条件を満たすことを証明する。さらに、Lascar強タイプとコンパクト強タイプがNTP2理論で一致することを示し、Poizatの基本的順序の一般化としての分割順序を導入し、普遍モーリー列とバーンデュ2有界性を用いて特徴づける。

ABSTRACT

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain condition over extension bases (namely, the forking ideal is S1, in Hrushovski's terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 theory. We also define the dividing order of a theory -- a generalization of Poizat's fundamental order from stable theories -- and give some equivalent characterizations under the assumption of NTP2. The last section is devoted to a refinement of the class of strong theories and its place in the classification hierarchy.

研究の動機と目的

• NTP2理論におけるフォークと分割のための強固な枠組みを確立し、単純理論およびNIP理論からの結果を一般化すること。
• NTP2理論とフォークの鎖条件の関係に関する未解決問題を解き、NTP2が拡張基底上で鎖条件を満たすことを示すこと。
• NTP2理論において拡張基底上で独立性定理を確立し、単純理論のKim-Pillay独立性定理を一般化すること。
• 分割順序を定義し、Poizatの基本的順序を拡張すること。
• バーンデュ2およびストロング2理論のクラスを導入し、NTP2がバーンデュ2の有界性と同値であることを示すこと。

提案手法

• NTP2理論において、任意の集合上で分割がアレイ分割と同値であることを、コンパクト性とアレイ次元に関する帰納法を用いて証明する。
• 厳密に不変な列と普遍モーリー列の存在を用いて、拡張基底上でのフォークの鎖条件を確立する。
• 鎖条件を応用して、フォークイデアルがS1であることを示し、拡張基底上での独立性定理の証明を可能にする。
• 分割順序をPoizatの基本的順序の一般化として定義し、普遍モーリー列と整合性パターンを用いて特徴づける。
• バーンデュ2およびストロング2理論を導入し、Fodorの補題を用いてインプパターンを構成することで、NTP2がバーンデュ2の有界性によって特徴づけられることを証明する。
• コンパクト性とインディスセラブルな技術を用いて整合性パターンを分析し、バーンデュ2が無限大である場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 NTP2理論におけるフォークは、拡張基底上で鎖条件を満たすか？
• RQ2 NTP2理論において、拡張基底上で独立性定理を確立できるか？
• RQ3 NTP2理論において、拡張基底上でLascar強タイプとコンパクト強タイプは一致するか？
• RQ4 NTP2理論において、分割順序と普遍モーリー列の存在との関係は何か？
• RQ5 NTP2はバーンデュ2の有界性と同値であり、ストロング2理論とどのように関係するか？

主な発見

• NTP2理論において、任意の集合上で分割がアレイ分割と同値である。これは、単純理論におけるKimの結果を一般化する。
• NTP2理論において、フォークは拡張基底上で鎖条件を満たす。これは、AdlerとHrushovskiの未解決問題を解決する。
• NTP2理論において、フォークイデアルはS1である。これにより、独立性定理が拡張基底に一般化可能である。
• NTP2理論において、拡張基底上で独立性定理が成り立つ。これは、単純理論における古典的独立性定理に特殊化される。
• NTP2理論において、拡張基底上でLascar強タイプとコンパクト強タイプは一致する。
• NTP2理論において、分割順序は適切に定義されており、普遍モーリー列と整合性パターンを用いて特徴づけられる。NTP2はバーンデュ2の有界性と同値である。