[論文レビュー] Model-theoretic properties of ultrafilters built by independent families of functions

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Aug 13, 2012

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

ひとこと要約

この論文は、関数の独立族を用いて構成された超フィルターのモデル理論的理解を前進させ、柔軟性が安定理論の飽和を意味することを示し、非安定理論の飽和を妨げる構造的ボトルネックを同定する。非安定理論の飽和を達成できないが、ランダムグラフ型を省く超フィルターを構成し、完全な飽和を達成しないが対称的カットを実現するものも作成し、ケイラー順序および集合論的構成とモデル理論的飽和性の関係について長年の未解決問題を解決する。

ABSTRACT

Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We begin by showing that any flexible regular ultrafilter makes the product of an unbounded sequence of finite cardinals large, {thus} saturating any stable theory. We then prove directly that a "bottleneck" in the inductive construction of a regular ultrafilter on $λ$ (i.e. a point after which all antichains of $P(λ)/D$ have cardinality less than $λ$) essentially prevents any subsequent ultrafilter from being flexible, {thus} from saturating any non-low theory. The paper's three main constructions are as follows. First, we construct a regular filter $D$ on $λ$ so that any ultrafilter extending $D$ fails to $λ^+$-saturate ultrapowers of the random graph, {thus} of any unstable theory. The proof constructs the omitted random graph type directly. Second, assuming existence of a measurable cardinal $κ$, we construct a regular ultrafilter on $λ> κ$ which is $λ$-flexible but not $κ^{++}$-good, improving our previous answer to a question raised in Dow 1975. Third, assuming a weakly compact cardinal $κ$, we construct an ultrafilter to show that $\lcf(\aleph_0)$ may be small while all symmetric cuts of cofinality $κ$ are realized. Thus certain families of pre-cuts may be realized while still failing to saturate any unstable theory.

研究の動機と目的

• 独立関数族を用いた超フィルターの構成におけるモデル理論的精度の向上。
• 超フィルターが非安定理論を飽和できる・できない条件の明確化。
• ケイラー順序における未解決問題の解決、特にカット実現、飽和性、大基数仮定の関係について。
• 特にランダムグラフおよび線形順序に関連して、特定の飽和性および型実現性の組み合わせを持つ超フィルターの構成。
• 独立族法が非安定理論の完全飽和を達成する際の限界の調査。

提案手法

• 著者たちは、独立関数族の方法を用いて、大基数上のフィルターおよび超フィルターを構成し、その組合せ的構造を活用してモデル理論的性質を制御する。
• 任意の λ-柔軟超フィルターは μ(𝒟) = 2^λ を満たす必要があり、これはすべての安定理論の飽和を意味する。
• 重要な技術的アプローチとして、『ボトルネック』を同定する。具体的には、独立族の像の濃度が λ より小さい場合に、その後続の超フィルターは柔軟ではあり得ず、非低理論の飽和も不可能になる。
• ランダムグラフ型を省くフィルターの構成は、生成集合に直接その省かれた型を組み込むことで達成される。
• 極性化分割関係と大基数仮定（可測基数および弱コンパクト基数）を用いて、完全な飽和を達成しないが対称的カットを実現する超フィルターを構成する。
• フィルターの構成において、乗法的精錬と超限帰納法を用い、最終的な超フィルターが所望の性質を満たすように保証する。

実験結果

リサーチクエスチョン

• RQ1 独立族を用いて構成された超フィルターが、非安定理論を飽和できない条件は何か？
• RQ2 与えられた共終型に対して、すべての対称的カットを実現するが、いかなる非安定理論も飽和しない超フィルターは存在するか？
• RQ3 柔軟性、安定理論の飽和、および超フィルターに関して無有界列の積のサイズとの正確な関係は何か？
• RQ4 正則超フィルターが λ-柔軟ではあるが κ⁺⁺-良いでないことは可能であり、ケイラー順序においてそれは何を意味するか？
• RQ5 大基数仮定は、カットの実現性および線形順序の超べきにおける ω の共終型にどのように影響するか？

主な発見

• 任意の λ-柔軟超フィルターは μ(𝒟) = 2^λ を満たす必要があり、これはすべての安定理論が飽和されることを意味する。
• 独立族の構成においてボトルネックが生じる——具体的には、族の像の濃度が λ より小さい場合——ならば、その後続のいかなる超フィルターも柔軟ではあり得ず、非低理論の飽和も不可能になる。
• λ 上の正則フィルター 𝒟 を構成でき、その任意の超フィルター拡張はランダムグラフ型を飽和せず、したがって非安定理論も飽和しない。
• 可測基数 κ を仮定すると、λ ≥ κ⁺ 上に存在する正則超フィルターで、λ-柔軟ではあるが κ⁺⁺-良いでないものが存在し、これはダウ（1975）の問いに答えている。
• 弱コンパクト基数 κ を仮定すると、λ 上に正則超フィルター 𝒟 が存在し、lcf(ℵ₀, 𝒟) = θ < κ であるが、(ℕ,<)λ/𝒟 には (κ,κ)-カットが存在しない。これは、カット実現が非安定理論の飽和を意味しないことを示している。
• 構成により、特定の前カットの族は実現可能であるが、それでもいかなる非安定理論の飽和も達成できないことが示され、モデル理論的直観に挑戦する。