2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/63073We present a simple and purely combinatorial proof of Steel's result according to which the core model is Σ^1_3 correct under the appropriate hypotheses.5 pagesLogic03E45;03E15;03E55A simple proof of Σ^1_3 correctness of Ktext