Mathematical logic seminar – April 2, 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.