Maxwell Levine : Accessing the Inaccessible: How I Learned to Stop Worrying and Love Large Cardinals

Posted by Wes Townsend , part of the Graduate Student Colloquium.

At

Sept. 12, 2016, 1 p.m.

In

SEO 636

Abstract

Gödel's Incompleteness Theorems tell us that there are true statements in mathematics that the Zermelo-Fraenkel axioms of set theory cannot prove, and some of these questions require the use of large cardinal axioms to resolve them. I will motivate the classical development of large cardinals with some naturally-occurring questions. Some light proofs will be presented to give a sense of combinatorial flavor. The audience does not need any detailed knowledge of set theory, but should be familiar with Cantor's diagonal argument.

Pizza and drinks will be provided.