# James Cummings: Radin forcing

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

Abstract:

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.