A simple proof of \Sigma^1_3 correctness of K

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.