[论文解读] 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}^+$，存在一个 $P$-组合理论 $T$，使得 $\hat{c}_P(T) = K$，从而表明在这些算子下 $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$-组合的可表示性，区分 $E$-可表示与不可表示的情形。
• 确定 $P$-组合理论中 $\hat{c}_P(T)$ 的可能取值，即类型 $p_\infty(x)$ 的实现实现所强制的有限基数集合。
• 构造通用结构，使其 $P$-组合可实现任意指定的 $e$-谱 $K \subseteq \mathbb{Z}^+$。

提出的方法

• 利用 $P$-算子通过不相交的单元谓词 $P_i$ 构造结构 $\mathcal{A}_i$ 的 $P$-组合，形成 $\mathcal{A}_P = \bigcup_i \mathcal{A}_i$ 并扩展 $P_i$。
• 应用 $E$-算子通过等价关系 $E$ 组合结构，形成 $E$-组合 $\mathcal{A}_E$，其中 $E$-类取代不相交谓词。
• 引入带有三元关系 $R_k$ 的通用构造，定义自由伪平面 $\mathcal{P}_k$，其每条线恰好包含 $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 $\hat{c}_P(T)$ 的 $e$-谱与 $P$-组合中 $E$-类的结构之间存在何种关系？

主要发现

• 对于任意集合 $K \subseteq \mathbb{Z}^+$，存在一个 $P$-组合 $T$，使得 $\hat{c}_P(T) = K$，证明 $\mathbb{Z}^+$ 的所有子集均可作为 $e$-谱实现。
• 若 $p_\infty(x)$ 是一个完备的 1-型，则 $\hat{c}_P(T)$ 要么为空，要么包含于某个 $k_0\mathbb{Z}^+$ 中，且该界是紧致的。
• 当 $1 \in K$ 时，构造确保任意一个 $p_\infty(x)$ 的实现实现仅强制一个此类实现，而 $\mathcal{P}_k$ 中共线的 $k$ 个实现实现则强制恰好 $k$ 个。
• 两个无共同线的 $p_\infty(x)$ 实现实现强制产生无限多个实现实现，从而确保 $k' \notin \hat{c}_P(T)$ 对所有 $k' \notin K$ 成立。
• $T_i = \text{Th}(\mathcal{A}_i)$ 的 $P$-组合产生 $T_P = \text{Th}(\mathcal{A}_P)$，且该构造在一阶等价下稳定。
• $E$-算子保持组合的一阶理论，且 $E$-可表示性取决于 $p_\infty(x)$ 及其 $E$-类的可定义性与完备性。