[论文解读] A class of strong diamond principles

Joel David Hamkins|ArXiv.org|Nov 26, 2002

Advanced Topology and Set Theory参考文献 10被引用 20

一句话总结

本文引入并研究了一类强化的钻石原则——Laver钻石原则——将经典的钻石原则 $\Diamond_\kappa$ 推广至较弱的大基数概念，如可测基数、弱紧致基数和不可达基数。研究发现，这些原则允许通过Laver函数实现任意集合的嵌入，且其成立或失败可独立于大基数性质，从而提供了新的组合刻画和力迫可能性。

ABSTRACT

In the context of large cardinals, the classical diamond principle Diamond_kappa is easily strengthened in natural ways. When kappa is a measurable cardinal, for example, one might ask that a Diamond_kappa sequence anticipate every subset of kappa not merely on a stationary set, but on a set of normal measure one. This is equivalent to the existence of a function l:kappa-->V_kappa such that for any A in H(kappa+) there is an embedding j:V-->M having critical point kappa with j(l)(kappa)=A. This and similar principles formulated for many other large cardinal notions, including weakly compact, indescribable, unfoldable, Ramsey, strongly unfoldable and strongly compact cardinals, are best conceived as an expression of the Laver function concept from supercompact cardinals for these weaker large cardinal notions. The resulting Laver diamond principles can hold or fail in a variety of interesting ways.

研究动机与目标

• 将Laver函数概念——最初定义于超紧致基数上——推广至较弱的大基数概念，如可测、弱紧致和不可达基数。
• 提出并分析新的强钻石原则 $\mathop{\hbox{\textasciitilde}}^{\star}_{\kappa}$，该原则通过要求在测度为一的集合上或通过初等嵌入实现子集的预见性，从而强化 $\Diamond_\kappa$。
• 研究这些Laver钻石原则与经典钻石原则之间，以及彼此之间的相对一致性与独立性，特别是在力迫扩张中的表现。
• 确定是否可在保持 $\kappa$ 的大基数性质（尤其是可测和 $\theta$-超紧致基数）的同时，通过力迫使这些原则失效。
• 厘清Laver钻石原则与 $\Diamond_\kappa(\text{Reg})$ 之间的逻辑关系，特别针对弱紧致基数。

提出的方法

• 将可测基数的Laver钻石原则 $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$ 定义为：存在函数 $\ell: \kappa \to V_\kappa$，使得对每个 $A \in H(\kappa^+)$，存在一个以 $\kappa$ 为临界点的初等嵌入 $j: V \to M$，满足 $j(\ell)(\kappa) = A$。
• 通过适配每类基数的特征超幂或嵌入性质，将此框架扩展至其他大基数——弱紧致、不可描述、不可达、拉姆齐、强不可达和强紧致——以适应基于嵌入的预见性条件。
• 通过递归构造部分函数 $\ell \upharpoonright \gamma$ 来构建Laver函数，确保在每个阶段 $\gamma$，选择 $\ell(\gamma)$ 以保留未来实现嵌入的潜力。
• 应用力迫技术，包括类力迫和保持大基数性质的力迫扩张，以证明 $\mathop{\hbox{\textasciitilde}}^{\star}_{\kappa}$ 可在保持 $\kappa$ 的大基数性质的同时失效。
• 利用Hauser（1992）和Dzamonja–Hamkins的结果，通过力迫使 $\neg\Diamond_\kappa(\text{Reg})$ 成立，同时保持弱紧致或 $\Pi^m_n$-不可描述基数，从而表明Laver钻石原则可在这些模型中失效。
• 通过模型论和力迫论证，分析 $\mathop{\hbox{\textasciitilde}}^{\star}_{\kappa}$ 与 $\Diamond_\kappa(\text{Reg})$ 之间的关系，特别关注弱紧致基数情形，以评估其等价性或分离性。

实验结果

研究问题

• RQ1 当 $\kappa$ 为弱紧致基数时，Laver钻石原则 $\mathop{\hbox{\textasciitilde}}^{\text{wc}}_{\kappa}$ 是否与 $\Diamond_\kappa(\text{Reg})$ 等价？
• RQ2 能否使用比类力迫更具温和性的力迫方法，使 $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$ 失效，同时保持 $\kappa$ 的可测性？
• RQ3 是否存在相对一致性，使得 $\kappa$ 是 $\theta$-超紧致的（$\kappa < \theta$），但 $\mathop{\hbox{\textasciitilde}}^{\theta\text{-sc}}_{\kappa}$ 失效？
• RQ4 在保持 $\theta$-超紧致性的同时，$P_\kappa\theta$ 上的正规精细测度数量是否可限制在少于 $2^\theta$ 个，从而导致 $\theta$-超紧致Laver钻石原则的失效？
• RQ5 对于强不可达和拉姆齐基数，Laver钻石原则是否也能在保持大基数性质的前提下，通过力迫实现独立失效？

主要发现

• 对于可测基数，Laver钻石原则 $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$ 等价于存在函数 $\ell: \kappa \to V_\kappa$，使得对每个 $A \in H(\kappa^+)$，存在初等嵌入 $j: V \to M$ 满足 $j(\ell)(\kappa) = A$。
• 经典钻石原则 $\Diamond_\kappa(\text{Reg})$ 对于可测基数必须成立，但 $\mathop{\hbox{\textasciitilde}}^{\text{meas}}_{\kappa}$ 可以失效，表明在可测基数情形下，Laver钻石原则严格强于 $\Diamond_\kappa(\text{Reg})$。
• 利用Hauser的结果，可相对一致地构造出 $\kappa$ 为弱紧致但 $\mathop{\hbox{\textasciitilde}}^{\text{wc}}_{\kappa}$ 失效的情形，因为 $\neg\Diamond_\kappa(\text{Reg})$ 可在保持弱紧致性的同时被力迫实现。
• 对于强不可达基数，Dzamonja与Hamkins已证明 $\mathop{\hbox{\textasciitilde}}^{\text{sunf}}_{\kappa}$ 可在保持大基数性质的力迫扩张中失效。
• 大基数存在本身并不能保证Laver函数的存在；这是一个新的组合原则，其成立或失效可独立于基数的存在性。
• 若 $P_\kappa\theta$ 上的正规精细测度数量少于 $2^\theta$，则 $\mathop{\hbox{\textasciitilde}}^{\theta\text{-sc}}_{\kappa}$ 失效，而这一情形在特定力迫条件下是相容的。