[论文解读] Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis

Moti Gitik, William Mitchell|arXiv (Cornell University)|Jul 27, 1995

Advanced Topology and Set Theory参考文献 11被引用 4

一句话总结

本文通过分析从延伸器中导出的不可区分序列，确立了奇异基数概括（SCH）失效所需的大型基数强度的下限。通过详细分析非重叠延伸器的覆盖引理，证明了若一个奇异强极限基数 κ 满足 2^κ ≥ λ（其中 λ 不是共因子 ≤ κ 的基数的后继），则要么 o(κ) ≥ λ，要么某些具有高反射阶的基数集合在 κ 中是共尾的，具体取决于 cofinality(κ)。

ABSTRACT

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $κ$ is a singular strong limit cardinal and $2^κ>= λ$ where $λ$ is not the successor of a cardinal of cofinality at most $κ$. (i) If $\cofinality(κ)>\gw$ then $o(κ)\geλ$. (ii) If $\cofinality(κ)=\gw$ then either $o(κ)\geλ$ or $\set{\ga:K\sat o(\ga)\ge\ga^{+n}}$ is cofinal in $κ$ for each $n\in\gw$. In order to prove this theorem we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders.

研究动机与目标

• 确定在奇异强极限基数 κ 处奇异基数概括（SCH）失效所需的大型基数强度。
• 研究当 λ 不是共因子 ≤ κ 的基数的后继时，2^κ ≥ λ 的一致强度。
• 通过覆盖引理分析来自非重叠延伸器序列的不可区分序列的结构。
• 确立 Mitchell 秩 o(κ) 必须至少为 λ 或 κ 中某些反射性质成立的条件。
• 阐明 cofinality(κ) 在确定 SCH 失效所需大型基数假设中的作用。

提出的方法

• 将覆盖引理应用于非重叠延伸器序列，以提取不可区分序列。
• 利用这些不可区分序列的结构，分析奇异强极限基数处的 Mitchell 秩 o(κ)。
• 基于 cofinality(κ) 分为两种情况：不可数共因子和可数共因子（ω）。
• 当 cofinality(κ) > ω 时，证明若 2^κ ≥ λ，则 o(κ) ≥ λ 是必要的。
• 当 cofinality(κ) = ω 时，表明要么 o(κ) ≥ λ，要么对每个 n ∈ ω，集合 {γ < κ : K ⊨ o(γ) ≥ γ^{+n}} 在 κ 中是共尾的。
• 运用模型论与内模型论技术，从延伸器序列推导出反射与不可区分性性质。

实验结果

研究问题

• RQ1 在奇异强极限基数 κ 处，SCH 失效所需的最小大型基数强度是什么？
• RQ2 当 2^κ ≥ λ 时，κ 的共因子如何影响所需的 Mitchell 秩 o(κ)？
• RQ3 在什么条件下，存在一个基数 λ 满足 2^κ ≥ λ 且 λ 不是小共因子基数的后继，会迫使 o(κ) ≥ λ？
• RQ4 当 cofinality(κ) = ω 时，若 o(κ) < λ，则必须成立的替代反射性质是什么？
• RQ5 从非重叠延伸器导出的不可区分序列如何约束 SCH 失效的一致强度？

主要发现

• 若 κ 是一个共因子(κ) > ω 的奇异强极限基数，且 2^κ ≥ λ（其中 λ 不是共因子 ≤ κ 的基数的后继），则 o(κ) ≥ λ。
• 若 cofinality(κ) = ω 且在相同 λ 条件下 2^κ ≥ λ，则要么 o(κ) ≥ λ，要么对每个 n ∈ ω，集合 {γ < κ : K ⊨ o(γ) ≥ γ^{+n}} 在 κ 中是共尾的。
• 对来自延伸器的不可区分序列的分析，提供了一种精确机制，用于推导 SCH 失效的一致强度下限。
• 结果表明，对于不可数共因子的奇异强极限基数，SCH 失效要求 κ 处至少具有 λ 个 Mitchell 秩。
• 对于共因子为 ω 的奇异基数，SCH 失效意味着强反射性质，除非 Mitchell 秩至少为 λ。
• 覆盖引理在连接延伸器序列与不可区分结构，并推导大型基数下限方面起到了关键作用。