Bonn Mathematical Logic Group

Models of Set Theory II

Master module V5A3, 9 credit points, workload 270h


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).


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.

Last changed: 6 July 2007