Title: The core model iterablility problem
First published: 1996
Subjects: Constructibility (Set theory), Large cardinals (Mathematics)
LC classification: QA248 .S77 1996