A simple proof of Σ^1_3 correctness of K

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We 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 pages

Keywords

Logic, 03E45;03E15;03E55

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/63073

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0201067
 http://arxiv.org/abs/math/0201067

Collections

arXiv