A simple proof of \Sigma^1_3 correctness of K
Logic
2007-05-23 v1
Abstract
We present a simple and purely combinatorial proof of Steel's result according to which the core model is \Sigma^1_3 correct under the appropriate hypotheses.
Cite
@article{arxiv.math/0201067,
title = {A simple proof of \Sigma^1_3 correctness of K},
author = {Ralf Schindler},
journal= {arXiv preprint arXiv:math/0201067},
year = {2007}
}
Comments
5 pages