The Department of Mathematics will host the 2026 Tarski Lecture: Professor Grigor Sargsyan from the Institute of Mathematics, Polish Academy of Sciences will be the speaker
Gödel's Program and Two Dogmas of Set Theory
Lecture 1, Monday, April 27, 4:00 pm - 5:00 pm, Pitzer Auditorium, Room 120 Latimer Hall
Title: Gödel’s Program.
Abstract: In set theory, Gödel’s program is a response to the independence phenomenon; its aim is to remove independence from set theory by passing to stronger and stronger theories of infinity that gradually decide all undecidable statements. In this talk, we will present the current state of the program and explain how it naturally leads to studying the canonical structures existing in the universe that form the core part of any foundational theory, such as Martin’s Maximum or the Axiom of Determinacy. It has also led set theorists to particularly rigid beliefs about the complexity of their guiding principles. In subsequent talks, we will examine some of these dogmas and their current status.
A reception in honor of the speaker will be held following the first lecture at 5:15 pm in 1015 Evans Hall.
Lecture 2, Wednesday, April 29, 4:00 pm - 5:00 pm, Stanley Hall, Room 106
Title: The Nairian Models Perspective
Abstract: Gödel’s program rests on the idea that large cardinal axioms form a hierarchy ordered by consistency strength that covers every level of the consistency strength hierarchy. This large cardinal-centric view of set theory has led to deeply held beliefs about the large cardinal strength of various natural, mathematically useful, and rich theories like those mentioned above: Martin’s Maximum, theories postulating the determinacy of various games, theories postulating the existence of generic elementary embeddings, and others. In this talk, we will present a modern perspective based on new types of models of determinacy called Nairian Models. We will show that several of the aforementioned beliefs or conjectures were misguided and provide alternative views. Specifically, we will consider our first dogma: that the failure of Jensen’s and Todorčević’s square principles at all uncountable cardinals has a very large consistency strength.
Lecture 3, Friday, May 1, 4:00 pm - 5:00 pm, Stanley Hall, Room 106
Title: Inner Models and the Powerset Operation
Abstract: The Inner Model Program, which is a key component of Gödel’s Program, aims to build canonical inner models for large cardinal axioms. The least canonical inner model is Gödel’s constructible universe L, and one of the desired features of these inner models is L-likeness. Unlike the cumulative hierarchy, the L-hierarchy evolves by restricting only to definable sets, which leads to a very restricted notion of the powerset operation. This has led to a commonly held belief that the powerset operation inside inner models is simple, and therefore, the universe of sets cannot be an inner model—otherwise, everything would be very simple. In fact, we will show that, surprisingly, the most robust generically absolute notion of definability—universally Baire definability—is not powerful enough to capture the powerset operation in very small inner models. We will then explore generically absolute notions of definability discovered in recent years that go beyond universally Baire sets.
The series of talks will conclude with a view of the universe of sets based on Nairian Models. All three talks will be aimed at a general audience.
Grigor Sargsyan is a Professor IMPAN at the Institute of Mathematics of the Polish Academy of Sciences. His research interests are set theory; more specifically large cardinal axioms, inner models, determinacy axioms, forcing axioms, and the connections between those areas. He obtained his PhD in 2009 from UC Berkeley's Group in Logic and Methodology of Science under the supervision of John Steel.