$\mu$-complete Souslin trees on ${\mu }^{+}$

Abstract

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