Mathematical logic seminar - March 26, 2013

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     James Cummings    
Department of Mathematical Sciences
Carnegie Mellon University

Title: Radin forcing


Radin forcing is a variant of Prikry forcing which allows one to add generic sets of order types larger than omega. It has many applications, for example it was used by Foreman and Woodin in their proof that GCH can fail everywhere. I will sketch the theory of Radin forcing and give some applications,