一阶情形下的极限模型谱

极限模型最初由 Kolmann 和 Shelah 引入作为饱和模型的替代品，已被确立为研究抽象初等类时的自然且有用的对象。Shelah 开始研究 first order 理论中何时存在 (多个) 极限模型。本文我们考察其结构。在不稳定理论中已知所有极限模型均同构，但在严格稳定情形下，极限模型的非同构个数尚未得到良好理解。本文我们通过仅使用一阶稳定理论熟悉的工具，对一阶稳定情形下的极限模型完整谱进行了表征：$\textbf{定理。}$ 设 $T$ 为完备的 $\lambda$-稳定理论，其中 $\lambda \geq |\operatorname{L}(T)| + \aleph_0$。设 $\delta_1, \delta_2 < \lambda^+$ 为极限序数，其中 $\operatorname{cf}(\delta_1)< \operatorname{cf}(\delta_2)$。设 $N_l$ 为 $l = 1, 2$ 的 $(\lambda, \delta_l)$-极限模型。若且仅当 $\operatorname{cf}(\delta_1) \geq \kappa_r(T)$ 时，$N_1$ 和 $N_2$ 同构。此外，若 $\kappa_r(T) = \aleph_\alpha$，则在一阶稳定理论中，$\delta_1, \delta_2$ 对应的极限模型在同构意义下恰好有 $|\alpha| + 1$ 个。就一阶稳定理论而言，这将 arXiv:2503.11605 的主要结果证明从 19 页缩减至 2 页。我们希望这会使极限模型成为一阶模型理论中更易于理解和可及的工具。