2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/63524Suppose that there is a measurable cardinal. If \aleph_ωis a strong limit cardinal, but the power of \aleph_ωis bigger than \aleph_{ω_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the measurable cardinal this answers a question of Gitik and Mitchell.6 pagesLogic03E04; 03E35; 03E45text