[论文解读] On incomparability and related cardinal functions on ultraproducts of Boolean algebras

Saharon Shelah, Otmar Spinas|ArXiv.org|Mar 18, 1999

Advanced Topology and Set Theory参考文献 5被引用 3

一句话总结

本文研究布尔代数的超积中基数函数的表现，表明在某些集合论假设下，这些基数特征——如不可比较性、分散度和遗传稠密性——在超积上的取值严格小于这些特征在各个代数上取值的超积。该结果通过构造一个模型，解决了蒙克提出的多个开放问题，表明这些函数在超积构造中并不以单调方式保持不变。

ABSTRACT

Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, pi-character, hereditary Lindelof number, hereditary density. It is shown to be consistent that there exists a sequence <i> of Boolean algebras and an ultrafilter D on kappa such that C(prod_{i</i>

研究动机与目标

• 研究布尔代数超积中不可比较性、分散度、特征和遗传稠密性等基数函数的行为。
• 确定这些函数是否与超积构造可交换，特别是在集合论独立性结果的背景下。
• 解决蒙克关于超积上基数函数取值与各代数上取值的超积之间关系的开放问题。
• 建立严格不等式 C(∏B_i/D) < |∏C(B_i)/D| 对于多种基数特征 C 的一致性。
• 探索模型论超积与布尔代数中拓扑或组合基数不变量之间的相互作用。

提出的方法

• 作者使用集合论中的力迫和独立性技术，构造一个 ZFC 模型，使得所期望的不等式成立。
• 他们使用在基数 κ 上的非主超滤子 D 来分析布尔代数的超积。
• 对于每个基数特征 C ∈ {不可比较性, 分散度, 特征, π-特征, 遗传 Lindelöf 数, 遗传稠密性}，他们比较 C(∏B_i/D) 与 |∏C(B_i)/D|。
• 证明依赖于构造一个序列 ⟨B_i : i < κ⟩ 的布尔代数，使得这些代数的 C 值的超积严格大于其超积的 C 值。
• 他们运用了布尔代数和一般拓扑学的技术，特别是与布尔代数及其超积的基数不变量相关的方法。
• 该论证设定在一个广义连续统假设以受控方式失效的模型中，从而能够强制实现所需的不等式。

实验结果

研究问题

• RQ1 是否一致地存在一种情形，使得布尔代数超积的不可比较性严格小于各代数不可比较性的超积？
• RQ2 布尔代数超积的分散度是否可能严格小于其各组成部分分散度的超积？
• RQ3 在某些 ZFC 模型中，布尔代数超积的遗传稠密性是否不等于其各代数遗传稠密性的超积？
• RQ4 布尔代数上的基数函数在多大程度上与超积构造可交换？
• RQ5 是否存在一个 ZFC 模型，使得对多个基数特征 C，都有 C(∏B_i/D) < |∏C(B_i)/D|？

主要发现

• 一致地存在一种情形，使得布尔代数超积的不可比较性严格小于各代数不可比较性的超积。
• 对于分散度、特征、π-特征、遗传 Lindelöf 数和遗传稠密性，本文确立了 C(∏B_i/D) < |∏C(B_i)/D| 的一致性。
• 该结果表明，这些基数函数并不以单调方式保持超积，从而反驳了自然的预期。
• 该构造依赖于一个广义连续统假设在某些基数上失效的力迫扩张，从而实现了所需的不等式。
• 本文解决了蒙克最初提出的关于基数函数在超积下行为的多个开放问题。
• 研究结果表明，即使各分量代数具有较大的基数不变量值，超积仍可能显著降低某些基数不变量的取值。