[論文レビュー] The universality spectrum: Consistency for more classes

Saharon Shelah|arXiv (Cornell University)|Dec 15, 1994

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

ひとこと要約

この論文は、ZFCにおけるモデル理論的クラスにおける普遍的モデルの整合性と限界を、$T_{\text{feq}}$（インデックス付き同値関係の理論）および三角形を含まないグラフに対して調査する。強制法とpcf理論を用いて、特異的連続基数仮説（SCH）の失敗下で、$T_{\text{feq}}$ に対する普遍的モデルは特定の非可算基数において存在しないことが示され、$\text{pp}_{\Gamma(\theta)}(\mu)$ を用いて普遍的スペクトラムの下界が得られ、特定の集合論的仮定の下でZFCにおける非存在結果が示されている。

ABSTRACT

We deal with consistency results for the existence of universal models in natural classes of models (more exactly--a somewhat weaker version). We apply a result on quite general family to T_feq and to the class of triangle-free graphs.

研究の動機と目的

• ZFCにおけるモデル理論的クラスにおける普遍的モデルの整合性と限界を調査すること。
• $T_{\text{feq}}$（インデックス付き同値関係の理論）の普遍的スペクトラムを分析すること。
• 特異的連続基数仮説（SCH）の失敗下で、ZFCにおける$T_{\text{feq}}$における普遍的モデルの非存在結果を確立すること。
• 一般化された$\lambda$-近似族に基づく枠組みを用いて、三角形を含まないグラフを含むより広いクラスへ普遍的モデルの整合性結果を拡張すること。
• $T_{\text{feq}}$の普遍的スペクトラムの下界を、$\text{pp}_{\Gamma(\theta)}(\mu)$ の基数関数を用いて提供すること。

提案手法

• 論文は、$\theta$-完全なフィルターをモジュロにした基数の積の連続的下界を分析するためにpcf理論を適用し、$\text{tcf}(\prod_{i<\theta}\lambda_i/D)$ を重要な道具として定義する。
• 三角形を含まないグラフのクラスに対して、$\lambda^+$ の静的部分集合 $S \subseteq \lambda^+$ において、$\text{cf}(\delta) = \theta$ を満たす $\delta$ の順序型 $\mu$ のクラブ $C_\delta$ を用いて、$\lambda$-近似族 $K_{\text{ap}}$ を構成する。
• モデル理論的構成が用いられる：$T_{\text{feq}}$ では、$P$ と $Q$ の2つの sorted が互いに素で、$P$ が $Q$ 上の無限個の同値類を三項関係 $E_x$ でインデックス化する。
• 非存在の証明は、普遍的モデル $M^*$ が存在すると仮定して矛盾を導く。その際、$a_i \subseteq \lambda^{<\mu}$、$b_i \subseteq \lambda^\theta$、$|\{b_i\}| \leq \lambda$ を満たす族 $\{a_i, b_i\}_{i<i^*}$ を用い、そのような $M^*$ はすべてのモデルを埋め込むことができない。
• フレームワークは、$\theta$-完全なフィルター $D$ を $\theta$ に用い、$\chi = \text{tcf}(\prod_{i<\theta}\lambda_i/D)$ を定義し、これが $\text{univ}(\lambda, T_{\text{feq}})$ の下界を定める。
• $K_{\text{ap}}$ が単純であり、滑らかさおよび拡張公理を満たすことを証明し、三角形を含まないグラフのクラスが整合性結果を得るための良好に扱える近似族を備えていることを保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようなZFCの仮定の下で、$T_{\text{feq}}$ は与えられた非可算基数 $\lambda$ において普遍的モデルを有するか？
• RQ2 普遍的モデルが存在しない場合、$\text{univ}(\lambda, T_{\text{feq}})$ の最小可能な値は何か？ そして、pcf理論的基数によってどのように抑えられるか？
• RQ3 三角形を含まないグラフのクラスにおける普遍的モデルの存在は、ZFCにおいて一貫して確立可能か？ また、$\lambda$-近似族はその役割を果たすか？
• RQ4 特異的連続基数仮説（SCH）の失敗は、$T_{\text{feq}}$ の普遍的スペクトラムにどのように影響するか？
• RQ5 $\lambda$-近似族の一般枠組みを、モデル理論的クラスにおける普遍的モデルの整合性結果を導くためにどの程度応用可能か？

主な発見

• 仮定 $\chi = \text{pp}_{\Gamma(\theta)}(\mu) > \lambda + |i^*|$ の下で、$T_{\text{feq}}$ は基数 $\lambda$ において普遍的モデルを有さない。 これは $\lambda > |T_{\text{feq}}|$ であっても同様に成り立つ。
• $T_{\text{feq}}$ の普遍的スペクトラムは $\text{univ}(\lambda, T_{\text{feq}}) \geq \text{pp}_{\Gamma(\theta)}(\mu)$ を満たし、サイズ $\lambda$ のすべてのモデルを埋め込むことができるモデル族の最小サイズの下界が得られる。
• 三角形を含まないグラフのクラスに対して、論文は単純で滑らかさおよび拡張公理を満たす $\lambda$-近似族 $K_{\text{ap}}$ を構成し、整合性結果を得られる。
• 構成により、$K_{\text{ap}}$ が和集合に関して閉じており、拡張性質を満たすことが示され、$K_{\text{ap}}$ に属する任意のモデルは、クラス内に大きなモデルへ拡張可能である。
• $T_{\text{feq}}$ の非存在証明は、普遍的モデル $M^*$ が存在すると仮定して、$|\{b_i\}| \leq \lambda$ かつ $f: \lambda \to \lambda$ が存在し、ある $i$ に対して $f(b_i) \subseteq a_i$ を満たす族 $\{a_i, b_i\}$ を用いて矛盾を導く。 これにより埋め込みの閉包性が破られる。
• 論文は、$K_{\text{ap}}$ が和集合に関して閉じており、拡張性質を満たすことを確立し、$K_{\text{ap}}$ に属する任意のモデルがクラス内に大きなモデルへ拡張可能であることを保証する。