Mathematical logic seminar - February 9 2016

Time: 12:30 - 13:30

Room: Wean Hall 8220

Speaker:     James Cummings    
Department of Mathematical Sciences
CMU

Title: Proper forcing, side conditions and Baumgartner's problem

Abstract:

I will discuss the method of "proper forcing", some tricks for building proper foring posets, and applications old and new. The talk should be accessible to anyone who knows the rudiments of forcing.

Note: If you are planning to attend Itay' Neeman's forthcoming Appalachian Set Theory workshop, this talk will fill in some of the background.