1. The domestic levels of Kc are iterable;Andretta;Israel Journal of Mathematics,2001
2. Between strong and superstrong;Baldwin;The Journal of Symbolic Logic,1986
3. A. Dodd and R. Jensen. A modest remark. Handwritten manuscript, 1976. Available in [Jensen, 2006].
4. The core model;Dodd;Annals of Mathematical Logic,1981
5. The covering lemma for K;Dodd;Annals of Mathematical Logic,1982