μ-complete Souslin trees on μ+

SummaryWe 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µ+.