Graduate Seminar on Set Theory (S4A4): Proper forcing
Organizers
- Prof. Dr. Peter Koepke, Dr. Philipp Schlicht, Dr. David Schrittesser, Dr. Philipp Lücke
Time and location
Tuesdays 16.15-18.00 in room N0.008.
Prerequisites: Forcing as in models of set theory.
Contents
An introduction to proper forcing, the proper forcing axiom and its applications.
Plan
- 08 May Miguel Moreno Proper forcing
- 15 May Miguel Moreno Proper forcing continued
- 22 May Miguel Moreno Proper forcing continued Nadja Hempel Countable support iteration of proper forcing
- 05 June Nadja Hempel Countable support iteration of proper forcing continued
- 12 June Julian Schlöder PFA from a supercompact cardinal
- 19 June Ronja Reese, Tore Carstens Applications of PFA
- 26 June Ronja Reese, Tore Carstens Applications of PFA continued
- 02 July Ronja Reese, Tore Carstens Applications of PFA continued