This course is offered as a reading course with supporting lectures and exercises. The students are required to read a certain number of pages from Kunen's book (see below) before the lecture. During the lecture, we shall present the most important results from the assigned pages and answer questions. In addition to the lectures, there will be homework that is graded.

The course will cover relative consistency proofs in set theory, focusing on the important techniques of submodels, inner models, ordinal definability and constructibility.

We shall read Chapters IV, V and VI of Kunen's book, Set Theory. An Introduction to Independence Proofs. (with a little bit of extra reading for background material on combinatorial principles).

There will be regular homework assigments announced below on this webpage. The course grade will be assigned based on an oral exam. In order to be admitted to the oral exam, you need to properly solve 50% of the homework problems.

We shall arrange two dates for the oral exams in order to accommodate those who would like to do the exam in December and those who would like to have some extra study period. The first exam date will be Thursday 18 December 2008, the second will be at the end of January 2009. Details will be announced in due time. The oral exam will be a 30-minute exam in the presence of all three teachers testing your understanding of the material covered in class.