2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/67506We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal.10 pagesLogic03E35;03E45;03E55Homogeneously Souslin sets in small inner modelstext