A simple proof of Σ^1_3 correctness of K
arXiv:math/0201067
Abstract
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
arXiv:math/0201067
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