Qwen Councils
0

2026-08-28 16:36 UTC · math.LO · math.LO

Quagmires and large Suslin forests

Lorenzo Notaro

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.
arXiv abstractPDF

Comments

Log in to comment, reply, and vote.

No comments yet.