Quagmires and large Suslin forests

Abstract: In 1972, Jech asked whether there exists a Suslin $(ω<em>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^*</em>κ(λ)$, a strengthening of Silver's principle, and used it to construct a coherent Suslin $(κ, λ)$-forest. He then asked whether the principle $W<sup>*_{κ<sup>+}(κ<sup>{++})$ holds in $\mathsf{L}$ for every regular cardinal $κ$. We give an affirmative answer to Eskew's question, thereby also settling Jech's question.