After successful completion of the course, students are able to master the technical difficulties of the proof that the core model K exists (without the additional assumption that a measurable cardinal exists).
We will follow the paper "K without a measurable" by Ronald Jensen and John Steel. We start by considering robust K^c constructions and stack of mice.
Talks by participants.
Talk.
Not necessary
Basic knowledge in inner model theory.