Core Model Iterability Problem

Large cardinal hypotheses play a central role in modern set theory. Here the author extends this theory so that it can produce core models satisfying "There is a Woodin cardinal", a large cardinal hypothesis which is the focus of much current research.