$μ$-complete Souslin trees on $μ^+$
Abstract
Description
We prove that $μ=μ^{<μ}$, $2^μ=μ^+$ and ``there is a non reflecting stationary subset of $μ^+$ composed of ordinals of cofinality $<μ$'' imply that there is a $μ$-complete Souslin tree on $μ^+$.