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. 
Ralf Schindler