[论文解读] The Halpern-Läuchli Theorem at a Measurable Cardinal

Natasha Dobrinen, Dan Hathaway|arXiv (Cornell University)|Aug 1, 2016

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

一句话总结

本文通過使用 𝜅+d-strong 卡爾迪納爾作為一致性強度的上界，建立了一個迫使構造，證明了在可測基數 𝜅 上，對有限多棵正常樹的 Halpern-Läuchli 定理的一致性。本文證明了弱緊卡爾迪納爾上各種 Halpern-Läuchli 變體的等價性，並在 ZFC 中證明了強樹版本的 Halpern-Läuchli 定理對任一無限基數上的單棵正則樹成立，從而回答了在不可數基數上的一致性強度與等價性方面的關鍵問題。

ABSTRACT

Several variants of the Halpern-Läuchli Theorem for trees of uncountable height are investigated. For $κ$ weakly compact, we prove that the various statements are all equivalent. We show that the strong tree version holds for one tree on any infinite cardinal. For any finite $d \ge 2$, we prove the consistency of the Halpern-Läuchli Theorem on $d$ many $κ$-trees at a measurable cardinal $κ$, given the consistency of a $κ+d$-strong cardinal. This follows from a more general consistency result at measurable $κ$, which includes the possibility of infinitely many trees, assuming partition relations which hold in models of AD.

研究动机与目标

• 確定在可測基數 𝜅 上，對 d 棵正常 𝜅-樹的 Halpern-Läuchli 定理的一致性強度。
• 研究在不可數基數上，較弱（某處稠密）與較強（強樹）形式的定理是否等價。
• 在 ZFC 中建立 Halpern-Läuchli 定理的強樹版本對任一無限基數上的正則樹成立。
• 探討分割關係與迫使擴張之間的關係，這些擴張能保持可測性，同時實現多棵樹的 Halpern-Läuchli 定理。
• 解決關於在可測基數上 Halpern-Läuchli 定理的精確一致性強度與獨立性的開放問題。

提出的方法

• 在 𝜅 是 𝜅+𝑑-強的模型上，對 Add(𝜅, 𝜅+𝑑) 進行迫使，以確保分割關係 𝜅+𝑑 → (𝜅)𝑑𝜅 成立。
• 使用 <𝜅𝛼-支撐的 𝜅𝛼-Sacks 強迫的反向 Easton 交替，構造出 𝜅 保持可測且 Halpern-Läuchli 定理對 d 棵樹成立的模型。
• 應用 Woodin 的結果：𝜅+𝑑-強卡爾迪納爾意味著在添加 𝜅+𝑑 個 𝜅 的 Cohen 子集後，𝜅 仍保持可測。
• 利用 AD 模型中的分割關係，將 Halpern-Läuchli 定理在適當假設下推廣至無限多棵樹。
• 透過證明所有 Halpern-Läuchli 變體都源自相同的迫使與分割理論原則，證明弱緊卡爾迪納爾上所有變體的等價性。
• 使用 Harrington 式的迫使論證，並針對不可數基數進行修改，以處理大基數存在下的均勻性與顏色類別簡化問題。

实验结果

研究问题

• RQ1 對於哪些不可數基數 𝜅，Halpern-Läuchli 定理能在高度為 𝜅 的樹上成立，無論是在 ZFC 中還是相容地成立？
• RQ2 對於不可數 𝜅，特別是當 𝜅 是可測基數時，Halpern-Läuchli 定理的精確一致性強度為何？
• RQ3 在不可數基數上，較弱（某處稠密）與較強（強樹）形式的 Halpern-Läuchli 定理是否等價？
• RQ4 是否存在一個 ZFC 模型，使得在可測基數 𝜅 上，d 棵樹的 Halpern-Läuchli 定理成立，但 d+1 棵樹的定理不成立？
• RQ5 HL(2,2,𝜅) 對某個 𝜅>𝜔 是否為 ZFC 的定理？

主要发现

• 對於任意有限 d≥2，d 棵正常 𝜅-樹在可測基數 𝜅 上的 Halpern-Läuchli 定理的一致性，由 𝜅+d-強卡爾迪納爾的存在所隱含。
• Halpern-Läuchli 定理的強樹版本在任一無限基數 𝜅 上的單棵正則樹上，對有限多種顏色成立，這是一個 ZFC 定理。
• 當 𝜅 為弱緊卡爾迪納爾時，所有 𝛿 棵正則 𝜅-樹（𝛿<𝜅）上 Halpern-Läuchli 定理的變體都是等價的。
• 在可測 𝜅 上，d 棵樹的 Halpern-Läuchli 定理的一致性強度，其上界由 𝜅+d-強卡爾迪納爾所決定，支持該強度即為精確強度的猜想。
• 在可測 𝜅 上，d 棵樹的 Halpern-Läuchli 定理在一致性強度上嚴格弱於單棵樹中 d 大小反鏈的著色，如 Shelah 與 Dzamonja-Larson-Mitchell 的先前工作所示。
• 在 𝜅+d-強卡爾迪納爾存在的假設下，可構造一個模型，使得 𝜅 可測且對所有 𝜎<𝜅，HL(d,𝜎,𝜅) 成立，但對某個 𝜎<𝜅，HL(d+1,𝜎,𝜅) 不成立。