A simple proof of Σ^1_3 correctness of K

Simple item page
dc.creatorSchindler, Ralf
dc.date2002-01-09
dc.date.accessioned2026-07-07T04:45:45Z
dc.date.available2026-07-07T04:45:45Z
dc.descriptionWe 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.
dc.description5 pages
dc.identifierhttps://arxiv.org/abs/math/0201067
dc.identifierhttp://arxiv.org/abs/math/0201067
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/63073
dc.subjectLogic
dc.subject03E45;03E15;03E55
dc.titleA simple proof of Σ^1_3 correctness of K
dc.typetext

Files

Collections

arXiv