  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^+$.

Logic