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