Models of Set Theory II
Master module V5A3, 9 credit points, workload 270h
Lecturer
- Prof. Dr. Peter Koepke
Time and location
Lectures: Mondays 14:00-16:00 (SR B) and Wednesdays 13:00-15:00 (SR B).Exercise class: Mondays 10:00-12:00 (SR B).
Contents
In this module, we shall continue to develop the hyperfine structure theory of constructible models of set theory and apply it to define and examine the Dodd-Jensen core model K. K is a constructible model which may contain partition cardinals like Ramsey cardinals. If there is no inner model with a measurable cardinal then K covers the universe, which generalises the Jensen covering theorem for L. We shall study several applications of K to consistency strenghts of combinatorial principles. A scriptum will be provided. The course assumes knowledge of hyperfine structure theory as developed in the course "Mengenlehre II" of the summer term 2007. The material is presented in a scriptum which can be downloaded from my web page. I shall offer oral examinations as module examinations.