2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152847We 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^+ .Logictext