Millican Colloquium: Large cardinals, forcing axioms, and determinacy--Nam Trang (UNT) | Department of Mathematics

COVID-19 updates—In an effort to keep everyone healthy, UNT's on-campus operations are closed until further notice. We're serving students remotely. Please stay connected. Stay up to date on UNT’s response to COVID-19 (Coronavirus).

Have you registered for fall classes yet? While COVID-19 has created some uncertainty for us all, UNT is committed to helping the Mean Green family turn dreams into reality. Let's get through this together!

Register for classes on
Not a UNT student yet? Apply to UNT
Having trouble registering? Get help from an advisor

Millican Colloquium: Large cardinals, forcing axioms, and determinacy--Nam Trang (UNT)

Event Information
Event Location: 
GAB 461 (Refreshments at 3:30 in 472)
Event Date: 
Monday, November 19, 2018 - 4:00pm

I will discuss some recent development in understanding connections between three major subjects in modern set theory: large cardinals, forcing axioms, and determinacy. Large cardinals form a linear hierarchy of axioms extending the standard axioms of Zermelo-Fraenkel with choice (ZFC) and every known, natural theory can be interpreted by one of the large cardinal axioms. Forcing axioms form another hierarchy generalizing the Baire Category Theorem and are widely used in many applications in other fields such as functional analysis, topology, and more recently $C^*$-algebra. The Axiom of Determinacy and its generalizations postulate that complicated sets of reals have nice regularity properties and are incompatible with the Axiom of Choice. These axioms have been studied extensively by descriptive set theorists and inner model theorists. I will particularly focus on recent works of Woodin, Steel, Sargsyan, and myself on constructing models of determinacy from large cardinals and from forcing axioms such as the proper forcing axiom (PFA) and Martin's maximum (MM). These works make significant progress on the Inner Model Problem, one of the most central problems in set theory.

The talk is mostly accessible to non-logicians; there will be plenty of backgrounds, historical contexts given to motivate the topics.

Thinking about UNT?

It's easy to apply online. Join us and discover why we're the choice of over 38,000 students.

Apply now