[论文解读] Combinatorial background for non-structure

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

Advanced Algebra and Logic参考文献 4被引用 5

一句话总结

本文为模型论中非结构的研究提供了基础性组合工具，聚焦于 $\omega$-树上的划分定理、可数个散射序的并集、pcf 理论以及正规理想。它建立了关于钻石原理和 $[\lambda]^{<\kappa}$ 上滤子的关键结果，特别是 $\diamondsuit^*$ 在滤子扩张下的保持性，这对 [Sh:331] 中的应用至关重要。

ABSTRACT

This was supposed to be an appendix to the book "Non-structure", and probably will be if it materializes. It presents relevant material, sometimes new, which was used in works which were supposed to be part of that book. In section 1 we deal with partition theorems on trees with omega levels; it is self contained. In section 2 we deal with linear orders which are countable union of scattered ones with unary predicated, it is self contained. In section 3 we deal mainly with pcf theory but just quote. In section 4, on normal ideals, we repeat [Sh:247]. This is used in [Sh:331].

研究动机与目标

• 开发组合工具——尤其是针对树和线性序——以供在非结构的模型论研究中使用。
• 在滤子扩张下建立 $\diamondsuit^*$ 和 $\diamondsuit$ 原理的保持结果，这对非结构理论中的一致性结果至关重要。
• 为 $\omega$-树、线性序和 pcf 理论的划分定理提供自包含的背景知识，作为《非结构》一书的附录。
• 形式化带有 $\aleph_2$-完备理想和其正规性条件的标记树的作用，以支持在力迫和模型论论证中的递归构造。
• 阐明 $[\lambda]^{<\kappa}$ 上滤子、理想与钻石序列之间的相互作用，特别是在饱和集和大基数的背景下。

提出的方法

• 引入标记树 $({{\mathscr{T}}}, \bar{\mathbb{I}})$，其中包含 $\omega$-树和在后继集上定义的 $\aleph_2$-完备理想 $\mathbb{I}_\eta$，定义分裂点为满足 $\text{Succ}_{{\mathscr{T}}}(\eta) \notin \mathbb{I}_\eta$ 的点。
• 定义四种标记树之间的序关系 $\leq$、$\leq^*$、$\leq^\otimes$ 和 $\leq^\otimes_\mu$，以比较其组合复杂性和理想结构。
• 通过序列 $\langle P_u : u \in [\lambda]^{<\kappa} \rangle$ 应用 $\diamondsuit^*$ 原理，满足 $|P_u| \leq |u|$，并确保对所有 $X \subseteq \lambda$，有 $\{u : X \cap u \in P_u\} \in \mathcal{D}$。
• 使用配对函数 $\text{pr}$ 编码序列，并在 $\diamondsuit^*$-序列的构造中导出矛盾，从而证明其在滤子和下的保持性。
• 将 $\diamondsuit_D$ 和 $\diamondsuit^*_D$ 原理应用于 $[\lambda]^{<\kappa}$ 上的滤子 $D$，将其与大小为 $\lambda$ 的结构的模型论近似联系起来。
• 利用 Kunen 和 Gregory–Shelah 关于 $\lambda = \kappa$ 时 $\diamondsuit$ 的结果，并将其推广至 $\lambda = \lambda^{<\kappa}$ 的情形，证明在适当条件下有 $\diamondsuit^*(\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U})$。

实验结果

研究问题

• RQ1 当 $\check{\mathcal{D}}_1 \subseteq \check{\mathcal{D}}_2$ 为 $[\lambda]^{<\kappa}$ 上的正规精细滤子时，$\diamondsuit^*(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 何时蕴含 $\diamondsuit^*(\check{\mathcal{D}}_2 + \mathcal{U}_1)$？
• RQ2 在 $\lambda = \lambda^{<\kappa}$ 的情况下，$\diamondsuit_D$ 和 $\diamondsuit^*_D$ 原理在滤子和 $\check{\mathcal{D}} + \mathcal{U}$ 下的行为如何？
• RQ3 $\leq^\otimes_\mu$ 顺序在标记树中对理想结构在树扩张中保持性的作用是什么？
• RQ4 当 $\mathcal{U} \neq \emptyset \mod \check{\mathcal{D}}_{<\kappa}(\lambda)$ 时，$\diamondsuit^*(\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U})$ 在何种条件下成立？
• RQ5 如何利用配对函数和对角化构造 $\diamondsuit^*$-序列，以避免在滤子扩张过程中产生矛盾？

主要发现

• 若 $\check{\mathcal{D}}_1 \subseteq \check{\mathcal{D}}_2$ 为 $[\lambda]^{<\kappa}$ 上的正规精细滤子，且 $\mathcal{U}_1 \subseteq \mathcal{U}_2$，则 $\diamondsuit^*(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 蕴含 $\diamondsuit^*(\check{\mathcal{D}}_2 + \mathcal{U}_1)$，这在滤子扩张下建立了钻石原理的对称性。
• $\diamondsuit^*(\check{\mathcal{D}}_1 + \mathcal{U}_2)$ 蕴含 $\diamondsuit(\check{\mathcal{D}}_1 + \mathcal{U}_2)$，表明在滤子扩张的背景下，$\diamondsuit^*$ 强于 $\diamondsuit$。
• $\diamondsuit^*(\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U})$ 在 $\mathcal{U} \neq \emptyset \mod \check{\mathcal{D}}_{<\kappa}(\lambda)$ 且 $\lambda = \lambda^{<\kappa}$ 时成立，为非结构理论中的一致性提供了关键工具。
• 通过配对函数 $\text{pr}$ 和对角化构造 $\diamondsuit^*$-序列时，若对 $\check{\mathcal{D}}_1$-正则集中的 $u$ 有 $B^i \cap u \neq B^i_u$，则会产生矛盾，从而证明正确近似存在的必然性。
• 对任意 $\kappa < \lambda = \lambda^{<\kappa}$，只要 $\mathcal{U}$ 包含满足某些闭包性质的集合且满足 $|u|^{<\theta} = |u|$，则 $\check{\mathcal{D}}_{\kappa}(\lambda) + \mathcal{U}$ 上存在 $\diamondsuit^*$-序列。
• $\leq^\otimes_\mu$ 顺序确保树扩张能保持非分裂节点的后继集，其中 $|\text{Succ}_{{\mathscr{T}}_1}(\eta)| < \mu$，从而在 $\mu$-完备理想存在时支持受控的递归构造。