Omega-coherent Suslin forests at non-weakly compact regular cardinals

Determine whether, under V=L, an ω-coherent Suslin (κ, κ^+)-forest exists for every uncountable regular cardinal κ that is not weakly compact.

Background

The paper strengthens the preceding forest-existence question by requiring finite-difference coherence, called ω-coherence for forests. Existing results establish the existence, under V=L, of binary ω-coherent κ-Suslin trees for every uncountable regular non-weakly compact cardinal. The open question asks whether this stronger coherence can also be achieved by Suslin (κ, κ+)-forests.

References

Under $\mathsf{V=L}$, is there an $\omega$-coherent Suslin $(\kappa, \kappa+)$-forest for every uncountable regular cardinal $\kappa$ which is not weakly compact?

Quagmires and large Suslin forests  (2608.28505 - Notaro, 28 Aug 2026) in Section 4, “Questions”