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

Abstract: 
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. 