[論文レビュー] Combinations related to classes of finite and countably categorical structures and their theories

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

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

ひとこと要約

本稿は、有限および可算的カテゴリー的構造の $E$-および $P$-結合を調査し、それらの初等理論と $e$-スペクトルを特徴づける。任意の集合 $K \subseteq \mathbb{Z}^+$ に対して、$\hat{c}_P(T) = K$ となる $P$-結合理論 $T$ が存在することを示しており、これらの作用素下での $e$-スペクトルの完全実現性を裏付ける。

ABSTRACT

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to closures with respect to $E$-operators and $P$-operators.

研究の動機と目的

• 有限および可算的カテゴリー的構造のクラスと、それらの初等理論が $E$-および $P$-作用素の下で保存されるかを特徴づける。
• 閉包における $E$-および $P$-結合の下での、構造の有限濃度の族と $e$-スペクトルを記述する。
• $E$-結合として表現可能か否かを区別する、初等的に同値な構造の表現可能性を調査する。
• $P$-結合理論の $\hat{c}_P(T)$、つまり型 $p_\infty(x)$ の実現が強制する有限濃度の集合の可能な値を特定する。
• 任意に指定された $e$-スペクトル $K \subseteq \mathbb{Z}^+$ を実現する $P$-結合をもつ一般化構造を構成する。

提案手法

• $P$-作用素を用いて、互いに素な単項述語 $P_i$ を介して構造 $\mathcal{A}_i$ の $P$-結合 $\mathcal{A}_P = \bigcup_i \mathcal{A}_i$ を構成する。
• $E$-作用素を用いて、同値関係 $E$ を介して構造を結合し、$E$-クラスが互いに素な述語に置き換わる $E$-結合 $\mathcal{A}_E$ を形成する。
• 三項関係 $R_k$ を用いた一般化構成により、各直線上に正確に $k$ 個の点を持ち、無限大の直線をもつ自由擬平面 $\mathcal{P}_k$ を定義する。
• 二項述語 $Q$ を用いてフォーシングの挙動を制御する：$a,b$ が共通の直線を持たない場合、$Q(a,y) \land Q(b,y)$ は無限個の実現を強制する。
• $\text{Col}_n$、$Q$、$R_k$ を含む言語を構築し、擬平面を埋め込み、$p_\infty(x)$-実現を制御することで、$\hat{c}_P(T) = K$ を保証する。
• $p_\infty(x)$ の完全性と $E$-クラスの定義可能性を用いて、$\hat{c}_P(T)$ に対する制約を導出し、$1 \in K$ のとき $\hat{c}_P(T) \subseteq k_0\mathbb{Z}^+$ が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの集合 $K \subseteq \mathbb{Z}^+$ が $P$-結合理論 $T$ の $\hat{c}_P(T)$ として現れるか？
• RQ2 初等的に同値な構造 $\mathcal{A}' \equiv \mathcal{A}_E$ が、その $E$-クラス制限の $E$-結合として表現可能となる条件は何か？
• RQ3 $p_\infty(x)$ の完全性が $\hat{c}_P(T)$ の可能な値にどのように制約を加えるか？
• RQ4 擬平面と $Q$-関係を用いた一般化構成により、任意に指定された $K \subseteq \mathbb{Z}^+$ が $\hat{c}_P(T)$ として実現可能か？
• RQ5 $P$-結合における $E$-クラスの構造と $e$-スペクトル $\hat{c}_P(T)$ の間にどのような関係があるか？

主な発見

• 任意の集合 $K \subseteq \mathbb{Z}^+$ に対して、$\hat{c}_P(T) = K$ となる $P$-結合 $T$ が存在する。これは、$\mathbb{Z}^+$ のすべての部分集合が $e$-スペクトルとして実現可能であることを証明する。
• $p_\infty(x)$ が完全な $1$-型であるとき、$\hat{c}_P(T)$ は空またはある $k_0 \in \mathbb{Z}^+$ に対して $k_0\mathbb{Z}^+$ に含まれるが、この上限はタイトである。
• $1 \in K$ のとき、$p_\infty(x)$ の任意の一つの実現は、唯一の実現を強制する。一方、$\mathcal{P}_k$ に共通の直線上に $k$ 個の実現があると、正確に $k$ 個の実現が強制される。
• 共通の直線を持たない $p_\infty(x)$ の二つの実現は、無限個の実現を強制する。これにより、$k' \notin K$ ならば $k' \notin \hat{c}_P(T)$ が保証される。
• $T_i = \text{Th}(\mathcal{A}_i)$ の $P$-結合により $T_P = \text{Th}(\mathcal{A}_P)$ が得られ、この構成は初等的同値性に関して安定である。
• $E$-作用素は結合の初等理論を保存する。$E$-表現可能性は、$p_\infty(x)$ 及びその $E$-クラスの定義可能性と完全性に依存する。