The Core Model Iterability Problem (Lecture Notes in Logic, 8) by John R. Steel · Bookplated