2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/61250Answering a question which was around for some while we prove that if π: V -> M is such that M is transitive and closed under ω-sequences then the core model of M is an iterate of the core model of V.3 pagesLogic03E45text