|Time:|| 12:00 - 13:20
Wean Hall 7201
Department of Mathematical Sciences
Carnegie Mellon University
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.