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