AI 中文总结
本文针对埃斯丘提出的组合原理W*_{κ⁺}(κ⁺⁺)是否在可构造宇宙L中成立的问题给出肯定解答，进而解决了1972年耶赫关于苏斯林森林的相关问题。
AI 中文摘要
1972年，耶赫（Jech）询问在可构造宇宙（L）中是否存在苏斯林（ω₁, ω₂）-森林。据耶赫所述，拉弗（Laver）给出了肯定答案，但他的证明从未发表且现已不可得。2015年，埃斯丘（Eskew）引入组合原理W*_κ(λ)，这是西尔弗原理的强化形式，并利用它构造了一个相干苏斯林（κ, λ）-森林。随后他询问，对每个正则基数κ，原理W*_{κ⁺}(κ⁺⁺)是否在L中成立。我们对埃斯丘的问题给出了肯定回答，从而也解决了耶赫的问题。
英文摘要
In 1972, Jech asked whether there exists a Suslin $(ω_1, ω_2)$-forest in the constructible universe. As reported by Jech, Laver gave a positive answer, but his proof was never published and appears no longer to be available. In 2015, Eskew introduced the combinatorial principle $W^*_κ(λ)$, a strengthening of Silver's principle, and used it to construct a coherent Suslin $(κ, λ)$-forest. He then asked whether the principle $W^*_{κ^+}(κ^{++})$ holds in $\mathsf{L}$ for every regular cardinal $κ$. We give an affirmative answer to Eskew's question, thereby also settling Jech's question.
Comments18 pages
