[论文解读] The universality spectrum: Consistency for more classes

Saharon Shelah|arXiv (Cornell University)|Dec 15, 1994

Advanced Topology and Set Theory参考文献 7被引用 16

一句话总结

本文在 ZFC 下研究了模型论类中通用模型的一致性与局限性，重点关注 $T_{\text{feq}}$（一个关于索引等价关系的理论）和无三角形图。通过力迫和 pcf-理论，本文证明了在奇异基数假设（SCH）失效的情况下，$T_{\text{feq}}$ 在某些不可数基数上不存在通用模型，并通过 $\text{pp}_{\Gamma(\theta)}(\mu)$ 提供了通用谱的下界，展示了在特定集合论假设下 ZFC 中的非存在性结果。

ABSTRACT

We deal with consistency results for the existence of universal models in natural classes of models (more exactly--a somewhat weaker version). We apply a result on quite general family to T_feq and to the class of triangle-free graphs.

研究动机与目标

• 在 ZFC 下研究模型论类中通用模型的一致性与局限性。
• 分析 $T_{\text{feq}}$（一个具有树型性质的索引等价关系理论）的通用谱。
• 在奇异基数假设（SCH）失效的条件下，建立 $T_{\text{feq}}$ 中通用模型的 ZFC 非存在性结果。
• 通过基于 $\lambda$-近似族的一般框架，将通用模型的一致性结果扩展到更广泛的类，包括无三角形图。
• 使用 $\text{pp}_{\Gamma(\theta)}(\mu)$ 基数函数为 $T_{\text{feq}}$ 的通用谱提供下界。

提出的方法

• 本文应用 pcf-理论分析模 $\theta$-完备滤子的基数乘积的共尾性，将 $\text{tcf}(\prod_{i<\theta}\lambda_i/D)$ 定义为关键工具。
• 通过在 $\lambda^+$ 的驻定子集 $S \subseteq \lambda^+$ 上使用序型为 $\mu$ 的俱乐部集 $C_\delta$，为无三角形图类构造了一个 $\lambda$-近似族 $K_{\text{ap}}$，其中 $\text{cf}(\delta) = \theta$。
• 采用模型论构造：对于 $T_{\text{feq}}$，模型通过不相交的 $P$ 和 $Q$-sort 构建，其中 $P$ 通过三元关系 $E_x$ 索引 $Q$ 上的无穷多个等价类。
• 非存在性证明依赖于反证法：假设存在一个通用模型 $M^*$，并构造一族 $\{a_i, b_i\}_{i<i^*}$，其中 $a_i \subseteq \lambda^{<\mu}$，$b_i \subseteq \lambda^\theta$，且 $|\{b_i\}| \leq \lambda$，在此条件下无法嵌入所有模型，从而导出矛盾。
• 该框架使用 $\theta$-完备滤子 $D$ 在 $\theta$ 上，定义 $\chi = \text{tcf}(\prod_{i<\theta}\lambda_i/D)$，该值作为 $\text{univ}(\lambda, T_{\text{feq}})$ 的下界。
• 本文证明了 $K_{\text{ap}}$ 是简单的，并满足光滑性与扩张公理，确保无三角形图类具有行为良好的近似族以支持一致性结果。

实验结果

研究问题

• RQ1 在何种 ZFC 假设下，$T_{\text{feq}}$ 在给定的不可数基数 $\lambda$ 上存在通用模型？
• RQ2 当通用模型不存在时，$\text{univ}(\lambda, T_{\text{feq}})$ 的最小可能值是多少？其如何被 pcf-理论基数所界定？
• RQ3 在 ZFC 中，无三角形图类中通用模型的存在性能否一致地建立？$\lambda$-近似族在此中起什么作用？
• RQ4 奇异基数假设（SCH）的失效如何影响 $T_{\text{feq}}$ 的通用谱？
• RQ5 一般框架 $\lambda$-近似族在多大程度上可用于推导模型论类中通用模型的一致性结果？

主要发现

• 在假设 $\chi = \text{pp}_{\Gamma(\theta)}(\mu) > \lambda + |i^*|$ 的条件下，即使 $\lambda > |T_{\text{feq}}|$，理论 $T_{\text{feq}}$ 在基数 $\lambda$ 上也不存在通用模型。
• $T_{\text{feq}}$ 的通用谱满足 $\text{univ}(\lambda, T_{\text{feq}}) \geq \text{pp}_{\Gamma(\theta)}(\mu)$，为能嵌入所有大小为 $\lambda$ 的模型的模型族的最小大小提供了下界。
• 对于无三角形图类，本文构造了一个 $\lambda$-近似族 $K_{\text{ap}}$，其为简单结构并满足光滑性与扩张公理，从而支持一致性结果。
• 该构造表明 $K_{\text{ap}}$ 对并集封闭，并满足扩张性质，确保 $K_{\text{ap}}$ 中的任意模型均可扩展为类中的更大模型。
• $T_{\text{feq}}$ 的非存在性证明依赖于反证法：假设存在通用模型 $M^*$，并利用一族集合 $\{a_i, b_i\}$，其中 $|\{b_i\}| \leq \lambda$，以及函数 $f: \lambda \to \lambda$ 满足对某个 $i$ 有 $f(b_i) \subseteq a_i$，从而违反嵌入封闭性。
• 本文确立了 $K_{\text{ap}}$ 对并集封闭并满足扩张性质，确保 $K_{\text{ap}}$ 中的任意模型均可扩展为类中的更大模型。