The core model iterability problem - Steel, John R (Lecture Notes in Logic, 1996)