[論文レビュー] Toward classification theory of good lambda frames and abstract elementary classes

Saharon Shelah|ArXiv.org|Apr 15, 2004

Advanced Algebra and Logic参考文献 1被引用数 6

ひとこと要約

この論文は、$\lambda$-良いフレームの枠組みを構築することで、抽象的小行列クラス（AECs）の分類理論を発展させ、このようなクラスがすべてのより大きな基数で分類可能であるための条件を確立する。$\omega$-成功性とやや弱い集合論的仮定のもとで、クラス $\mathfrak{K}^\mathfrak{s}$ が空でなく、すべての $\mu \geq \lambda$ で分類可能であることが示され、AECs における安定性理論の類似が拡張される。

ABSTRACT

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory for K_{s(+l)} for l=lambda. Recall there are reasonable lambda-frames which are not n-excellent but still we can say alot on models in $K_{s(+l)} for l

研究の動機と目的

• 抽象的小行列クラス（AECs）の分類理論を、一階モデル理論における安定性理論に類似させる。
• $\lambda$-良いフレームがすべてのより大きな基数 $\mu \geq \lambda$ で分類可能であるような条件を確立する。
• $\mathfrak{K}^\mathfrak{s}$ のモデル理論的性質を分析し、特に $\mu \geq \lambda$ におけるモデルの存在と分類可能性を調べる。
• 良いフレームおよびその拡張の枠組みを用いて、超安定な一階理論の結果をAECsに拡張する。

提案手法

• Axioms (A)–(E)(b) を満たす構造 $({\mathfrak{K}}_{\mathfrak{s}}, {\Cal{S}}^{\text{bs}}_{\mathfrak{s}}, \mathop{\hbox{\hbox to9.99998pt{\hfil\vrule width=0.3pt,depth=10.00012pt,height=0.0pt\hfil}\hbox{$\textstyle\mathchar 4947\relax\displaylimits$}}}\limits_{\textstyle\mathfrak{s}})$ として、良いフレーム $\mathfrak{s}$ を定義する。
• $\lambda$-a.e.c. 構成を用いて、$\mathfrak{K}_{\mathfrak{s}}$ から導かれるAEC $\mathfrak{K}^\mathfrak{s}$ を構成する。
• $\mathfrak{s}$ の $\omega$-成功性を用いて、すべての $\mu \geq \lambda$ に対して $\mathfrak{K}^\mathfrak{s}_{\mu} \neq \emptyset$ を証明する。
• $\mathfrak{s}^{+\omega}$ 構成を用いて、$\lambda^{+\omega}$-飽和モデルとその分類可能性を分析する。
• $\mathfrak{s}^{+\omega}$ が適切に定義されており、$\omega$-成功であることを確立し、分類可能性の移行を可能にする。
• 集合論的仮定（$2^{\lambda^{+n}} < 2^{\lambda^{n+1}}$ for $n < \omega$）を用いて、より大きな基数における分類可能性または非分類可能性を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、$\lambda$-良いフレーム $\mathfrak{s}$ がすべての $\mu \geq \lambda$ に対して $\mathfrak{K}^\mathfrak{s}_{\mu} \neq \emptyset$ を満たすか？
• RQ2 分類可能性が $\lambda$ および $\lambda^+$ で成り立ち、$\omega$-成功性を満たす場合、すべての $\mu \geq \lambda$ で分類可能になると言えるか？
• RQ3 $\mathfrak{s}^{+\omega}$ 構成は、$\mathfrak{K}^\mathfrak{s}$ の高基数におけるモデル理論的性質とどのように関係するか？
• RQ4 $2^{\lambda^{+n}} < 2^{\lambda^{n+1}}$ のような仮定が、$\mu > \lambda$ における分類可能性または非分類可能性を決定づける役割を果たすか？
• RQ5 どの程度まで、$\omega$-成功フレームの理論が、一階モデル理論における安定性理論の類似として機能するか？

主な発見

• $\mathfrak{s}$ が $\omega$-成功である限り、すべての $\mu \geq \lambda$ に対して $\mathfrak{K}^\mathfrak{s}_{\mu} \neq \emptyset$ であり、より大きな基数にモデルが存在することを保証する。
• $\mathfrak{K}_{\mathfrak{s}}$ が $\lambda_{\mathfrak{s}}$ で分類可能である限り、クラス $\mathfrak{K}^\mathfrak{s}$ はすべての $\mu \geq \lambda^{+}_{\mathfrak{s}}$ で分類可能である。
• すべての $n < \omega$ に対して $2^{\lambda^{+n}} < 2^{\lambda^{n+1}}$ を仮定すると、クラス $\mathfrak{K}^\mathfrak{s}$ は $\lambda$ より大きな任意の $\mu$ で分類可能でないことが示され、分類可能性の明確な境界が特定される。
• $\mathfrak{s}^{+\omega}$ 構成により、適切に定義され、$\omega$-成功なフレームが得られ、$\lambda^{+\omega}$-飽和モデルの分析が可能になる。
• $\mathfrak{s}^{+\omega}$ フレームは、NDOP および弱単方向性といった重要な性質を保持しており、基数間での構造的性質の関連が保たれる。
• やや弱い集合論的仮定のもとで、$\mathfrak{K}$ が $\lambda$ および $\lambda^+$ で分類可能であり、ある種の基数の上限を満たすならば、$\mathfrak{K}$ はすべての $\mu \geq \lambda$ で分類可能である。