The covering lemma for K. - Tony Dodd 001; Ronald Jensen (Ann. Math. Log., 1982)

Stacking mice. - Ronald Jensen; Ernest Schimmerling; Ralf Schindler; John R. Steel (J. Symb. Log., 2009)

K without the measurable. - Ronald Jensen; John R. Steel (J. Symb. Log., 2013)