On November 17th, 2021, I will give a talk at the Faculty of Mathematics and Geoinformation at TU Wien. If you want to attend this zoom talk, please send me an e-mail.

*The Interplay of Determinacy, Large Cardinals, and Inner Models*

The standard axioms of set theory, Zermelo-Fraenkel set theory with Choice (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt Gödel’s famous incompleteness theorems, we nowadays know numerous concrete examples for such questions. In addition to a large number of problems in set theory, even many problems outside of set theory have been showed to be unsolvable, meaning neither their truth nor their failure can be proven from ZFC. A major part of set theory is devoted to attacking this problem by studying various extensions of ZFC and their properties with the overall goal to identify the “right” axioms for mathematics that settle these problems.

Determinacy assumptions are canonical extensions of ZFC that postulate the existence of winning strategies in natural infinite two-player games. Such assumptions are known to enhance sets of real numbers with a great deal of canonical structure. Other natural and well-studied extensions of ZFC are given by the hierarchy of large cardinal axioms. Inner model theory provides canonical models for many large cardinal axioms. Determinacy assumptions, large cardinal axioms, and their consequences are widely used and have many fruitful implications in set theory and even in other areas of mathematics. Many applications, in particular, proofs of consistency strength lower bounds, exploit the interplay of determinacy axioms, large cardinals, and inner models.

In this talk I will survey my contribution to this flourishing area. This, in particular, includes results on connecting the determinacy of longer games to canonical inner models with many Woodin cardinals, a new lower bound for a combinatorial statement about infinite trees, as well as an application of determinacy answering a question in general topology.