v Models of set theory I, Summer 2013
Bonn Mathematical Logic Group

Models of set theory II (V4A9)


Time and place


Further development of the forcing method, in particular iterated forcing and applications to combinatorial and axiomatic questions.

Lecture notes

Lecture notes on class forcing


The tutorial by Finn Schmieter will take place Thursdays 14:15 - 16:00 in room N 0.008, starting 29 October.

Problem sheets

The problem sheets and solutions are written by Regula Krapf. The problem sheets will be uploaded each Monday. You may solve the problems and write the solution (in English or German) together with one other participant. Please hand in your solution before the lecture on the following Monday. You need to have at least 50% of the total number of points on the problem sheets to be admitted to the final exam.


Final exams will be oral, taking place in February.


Last changed: 26 October 2015