[论文解读] On what I do not understand (and have something to say): Part I

Saharon Shelah|ArXiv.org|Jun 16, 1999

Advanced Topology and Set Theory参考文献 124被引用 55

一句话总结

本文提出了一项关于集合论中深层问题的个人化、非标准探索，尤其聚焦于基数算术、pcf理论和迭代力迫。Shelah研究了pp(ℵω) < ℵω₁的一致性问题，将其与连续统问题联系起来，并探讨了力迫技术的局限性，特别是在构造连续统较大但保留某些结构特性的模型时。

ABSTRACT

This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum (``see ... '' means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall'97 and reflect my knowledge then. The other half, concentrating on model theory, will subsequently appear.

研究动机与目标

• 研究不等式pp(ℵω) < ℵω₁在pcf理论和基数算术中的相容性。
• 探索迭代力迫在构造连续统较大但保留理想集合论性质的模型时的局限性与潜力。
• 研究可定义力迫概念及其与布尔代数和组合结构的相互作用。
• 分析pcf理论、覆盖数与拓扑性质（如拓扑空间中存在大量开集）之间的联系。
• 评估将结果从共因子ℵ₁推广到共因子ℵ₀的边界，特别是在力迫和大基数的语境下。

提出的方法

• 使用pcf理论分析模滤子的基数乘积的共因子性，将pp(μ)定义为在合适理想下tcf(∏a/I)的上确界。
• 应用迭代力迫构造来操控连续统，特别针对满足2κ ≥ λ的奇异κ（共因子为ω）的模型。
• 利用布尔代数及其c.c.c.性质，推导出拓扑空间中开集数量的结论。
• 引入组合划分关系（如Hales-Jewett定理和van der Waerden型定理）以分析力迫下结构的增长。
• 利用“良好定义的”力迫和nep（近似最终正则）力迫概念，控制迭代过程中性质的保持。
• 分析不向基数添加有界子集的力迫概念的行为，特别在超可测和Mahlo基数的语境下。

实验结果

研究问题

• RQ1 pp(ℵω) < ℵω₁是否与ZFC一致，这又对连续统结构意味着什么？
• RQ2 能否使用迭代力迫构造出满足2κ ≥ λ的模型，其中κ为共因子ω的奇异基数，且不向κ添加有界子集？
• RQ3 在力迫和pcf理论中，将结果从共因子ℵ₁推广到共因子ℵ₀的局限性是什么？
• RQ4 可定义力迫概念如何与布尔代数及拓扑空间相互作用，以保持链条件和基数不变量？
• RQ5 Ramsey理论性质（如Bⁿₖ的性质）在多大程度上可用于界定力迫扩张中组合配置的增长？

主要发现

• 在ℵω为强极限基数的假设下，由于经典基数算术恒等式，问题pp(ℵω) < ℵω₁等价于2ℵω < ℵω₁。
• Gitik（经Shelah确认）发现了一种力迫构造，可实现2κ ≥ λ，其中κ为共因子ω的奇异基数，保持κ以下的GCH，并且不向κ添加有界子集。
• 该构造使用高阶超可测基数，得出pp(κ) ≥ λ，表明某些在共因子ℵ₁下成立的定理无法推广到共因子ℵ₀。
• 结构Bⁿₖ中的元素数量迅速增长，其增长是否为n的固定迭代指数形式的问题仍悬而未决。
• 若存在一个c.c.c.布尔代数B，满足|B| ≤ 2μ且μ为共因子ℵ₀的强极限，则B必为μ-链接，此结果源自pcf理论的覆盖原理。
• 本文表明，若拓扑空间X有λ个点且超过λ个开集，且μ为共因子ℵ₀的强极限，则X必须至少有2μ个开集，从而将拓扑与pcf理论联系起来。