Mathematical logic seminar - Oct 24 and Nov 1, 2011

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     Ernest Schimmerling    
Department of Mathematical Sciences
Carnegie Mellon University

Title: More on forcing with models as side conditions


I will continue my series of talks about the method of forcing with side conditions, and discuss two applications which were not covered in the recent Appalachian Set Theory workshop: an omega_2 sequence of functions from omega_1 to omega_1 which is increasing mod finite, and a consistency proof for PFA using finite support iteration.