Graduate Student Colloquium
Maxwell Levine
UIC
The Essentials of Forcing
Abstract: Georg Cantor lost his mind trying to prove his continuum hypothesis: that there is no set with a cardinality strictly between that of the natural numbers and the real numbers. But nearly a century later Paul Cohen demonstrated that the continuum hypothesis could neither be proved nor refuted by the standard Zermelo-Fraenkel axioms of set theory. The technique he invented, called forcing, is a way of constructing new models of set theory by adjoining transcendental elements to the old models. In this talk I will outline the general methodology of forcing and give a sense of the technical obstacles it must overcome.
Monday November 9, 2015 at 4:00 PM in BH 209