[論文レビュー] Classification theory for theories with NIP - a modest beginning

Saharon Shelah|ArXiv.org|Sep 6, 2000

Advanced Topology and Set Theory被引用数 3

ひとこと要約

この論文は、NIP（独立性性質なし）をもつ一階理論の分類理論を提唱し、不安定ではあるがNIPな文脈に、従来のモデル理論的道具（例えば、無相関列、平均、直交性）を拡張する。定義可能型、共終度の双対性、および双対共終度やw不変量といった不変量を導入し、安定性や単純性と類似した構造理論の基盤を築く。

ABSTRACT

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine some properties.

研究の動機と目的

• 安定理論および単純理論に類似した分類理論を、NIPの一階理論に対して開発すること。
• 理論が不安定であっても、無相関列およびその平均の振る舞いをNIP文脈で調査すること。
• 無限に続く無相関列に対して、双対共終度やw不変量といった不変量を定義・分析し、構造的複雑性を捉えること。
• 定義可能型、標準基底、準順序の役割を、特に順序性質および無限鎖との関係でNIP理論において探ること。
• 将来の一般化（例：超NIP、次元的不変量）の基盤を築くために、フレームワーク内でのテスト問題や未解決問題を特定すること。

提案手法

• 超フィルターと型を用いて、列の平均（Av(D, J)）を定義し、NIPモデル内での定義可能行動の分析を可能にする。
• 集合A上でのD-無相関列の概念を導入し、型定義可能性が超フィルターと平均型によって支配されることを示す。
• 式のクラスを定義：avf（平均可能）、daf（有限個の凸集合の和として定義可能）、daf^n（有界凸性）；列上での式の振る舞いを分類する。
• 双対共終度不変量を用いて無相関列の複雑さを測定し、双対共終度(𝕀, M) = θ₂ ならば、特定の飽和仮定のもとで矛盾が生じることを示す。
• モデル理論的飽和性の議論と絶対性を用いて、特に巨大基数および共終度の文脈で構造的制約を導出する。
• 組合せ的近似（例：θ₂-近似）および対称的関係 R ⊆ λ × λ を用いて、双対共終度-κ次元独立性性質を定義・分析する。

実験結果

リサーチクエスチョン

• RQ1 安定理論および単純理論に類似した分類理論を、NIP理論に対して開発できるか？
• RQ2 NIP理論における無相関列が示す構造的性質は何か、特に理論が不安定である場合にどうなるか？
• RQ3 双対共終度(𝕀, M) や w(𝕀) といった不変量が、無限に続く無相関列の複雑さと直交性をどのように特徴付けるか？
• RQ4 安定性が欠如する中で、定義可能型や標準基底をどの程度一般化できるか？
• RQ5 双対共終度-κ次元独立性性質が、p進数や他の既知の例と関連して、NIP理論を区別または特徴付けるのに使えるか？

主な発見

• 任意のNIP理論Tに対して、任意の式φ(x, y)は、無相関列を有限個の凸集合に分割する。これは安定理論の主要特徴を一般化する。
• 双対共終度不変量 dual-cf(𝕀, M) は、モデルM上での無限に続く無相関列𝕀の複雑さを測る。もし dual-cf(𝕀, M) = θ₂ ならば、飽和仮定のもとで矛盾が生じる。
• 二分法が成立する：型p ∈ Sm(M) が安定であるための必要十分条件は、定義可能かつ、それを実現する任意の超フィルターが無相関集合を生成することである。さもなければ、準順序に無限鎖が存在する。
• 理論Tが不安定ではあるがNIPである場合、ある式φ(x, y; c) は無限鎖を持つ準順序を定義する。このような式は、順序性質を持つ場合がある（ただし、必ずしもEhrenfeuchtの性質Eを満たすとは限らない）。
• 本論文は、第5節の構成が、不安定性そのものよりも特定の自由度をもつモデルを生み出すことを示しており、NIP理論により豊かな内部構造が存在することを示唆する。
• 本論文は、w(𝕀) 不変量を、互いに直交しない無限に続く無相関列の鎖の長さの上限として導入するが、これは代数的次元のようには振る舞わない。