What Is... Seminar

Justin MooreCornell University
What is forcing?

Wednesday, September 25, 2013 - 5:30pm
Malott 207

In the 1960s, Cohen developed his method of forcing to prove that the Continuum Hypothesis is not a theorem of ZFC. Since then forcing has become a standard tool in set theory. I will give an overview of the method of forcing and discuss some of its applications.