A remark on Schimmerling's question (Q2279685): Difference between revisions

The authors show that if \(\lambda\) is an uncountable cardinal such that (a) \(\lambda = 2^{< \lambda}\), (b) \(2 ^\lambda = \lambda^+\), (c) \(\square^\ast_\lambda\) holds, and (d) there exists a non-reflecting stationary subset of \(E^{\lambda^+}_{\not= \mathrm{cf} (\lambda)}\), then there exists a \(\lambda^+\)-Souslin tree \(T\), where \(T\) is specializable and \(\lambda\)-complete if \(\lambda\) is regular, and free otherwise.