Bonn Mathematical Logic Group

Graduate Seminar on Set Theory (S4A4): Proper forcing

Organizers

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

 

Last changed: 04 June 2012