UG Colloquium
Topic: "Intro to NBG Set Theory"
Speaker: Rick Lu
Date: November 28
Location: BA6183
Abstract
ZFC set theory is great for most mathematics, but is insufficient to talk about things like "the category of all sets". If we want to rigorously formalize collections which are "larger than sets," we will have to extend the theory with new axioms and new objects called classes. One way to do this is NBG set theory, which is a conservative extension of ZFC that is finitely axiomatized. I will introduce the axioms, compare it to ZFC, and prove the class existence theorem. I will also comment on other axiom systems that can formalize classes besides NBG.
