[論文レビュー] Relative e-spectra and relative closures for families of theories

S. V. Sudoplatov|arXiv (Cornell University)|Jan 1, 2017

Rings, Modules, and Algebras参考文献 2被引用数 6

ひとこと要約

この論文は、E-作用素に関して一階理論の族に対する相対的e-スペクトル、相対的閉包、および相対的生成集合を導入し、e-スペクトルおよび閉包に関する先行研究を一般化する。理論Tの相対的e-スペクトルが2^ω未満であれば、そのE-閉包は与えられたE-閉じた集合に関して最小の生成集合を持つことが示され、同値関係下でのモデル理論的結合の構造的特徴づけが得られる。

ABSTRACT

We define the notions of relative $e$-spectra, with respect to $E$-operators, relative closures, and relative generating sets. We study properties connected with relative $e$-spectra and relative generating sets.

研究の動機と目的

• E-スペクトル、閉包、生成集合の概念を絶対的設定からE-作用素に関して相対的設定へ一般化すること。
• 同値関係下での理論の結合の構造的性質、特に初等同値および表現可能性に焦点を当てて調査すること。
• 理論TのE-閉包が与えられたE-閉じた理論族に関して最小の生成集合をもつ条件を特徴づけること。
• 相対的e-スペクトルの大きさとE-閉じた族における最小生成集合の存在との関係を明確にすること。

提案手法

• 相対的e-スペクトルを、元の理論族に初等的に同値でないE-類の制限に関して初等的に非同値なモデルの数として定義する。
• E-作用素を定義し、構造の族をそれらのE-結合に写像する。E-類が個々の構造に対応する構造を形成する。
• 与えられた理論族を含み、初等同値およびE-結合に関して閉じた最小のE-閉じた集合として相対的閉包を定義する。
• E-表現可能性の概念を用いて、E-結合に初等的に同値なモデルが、元の理論に初等的に同値なE-類に分解可能かどうかを判定する。
• 2-木の論理式の構成を用いてe-スペクトルの濃度を分析し、有界な生成集合のもとで非可算なe-スペクトルを仮定した場合の矛盾を導出する。
• 理論の空間における孤立点を用い、定理4.2を適用してE-閉包の最小生成集合を同定する。

実験結果

リサーチクエスチョン

• RQ1 与えられたE-閉じた理論族に関して、理論族のE-閉包が最小の生成集合をもつのはいつか？
• RQ2 理論Tの相対的e-スペクトルが2^ω未満である条件は何か？ また、その条件は最小生成集合の存在とどのように関係するか？
• RQ3 E-結合に初等的に同値なモデルが、E-表現可能である（すなわち、各E-類が元の理論の一つに初等的に同値となるように分解可能である）のはどのような条件下か？
• RQ4 理論の空間における孤立点の性質は、E-閉じた族における相対的生成集合の構造とどのように関係するか？
• RQ5 e-スペクトルが有界であっても、そのE-閉包が最小の生成集合をもつことは可能か？ そして、モデル理論的分類にどのような含意があるか？

主な発見

• 理論Tの相対的e-スペクトルが2^ω未満であれば、Tと与えられたE-閉じた族のE-閉包は、その族に関して最小の生成集合をもつ。
• 分解定理（定理4.5）により、任意のE-閉じた族に対して、互いに素でかつ有界なサイズの生成集合が保証され、そのうちの一方は最小であり、他方は孤立点をもたない。
• 無限分岐を示す2-木の論理式の存在は、非可算なe-スペクトルをもたらし、相対的e-スペクトルが小さいという仮定と矛盾する。
• すべての元の理論が孤立しているにもかかわらず、e-スペクトルが正確に2^ωである例が構成され、これは、最小の生成集合をもつためにe-スペクトルが小さい必要はないことを示している。
• E-閉包内の孤立理論の集合は常に生成集合であり、それが最小であれば、最小の生成集合を形成する。
• 相対的e-スペクトルは、基本理論の初等同値に関して不変であり、その大きさはE-閉包の生成構造の複雑さを決定する。