# Talks

### Invited Conference Talks

05 May 2023 » Gdansk Logic Conference

TBA03 Mar 2023 » 10th Indian Conference on Logic and its Applications (ICLA)

TBA05 Jan 2023 » Winter Meeting of the ASL with the JMM, Boston, Invited Address

Universally Baire Sets, Determinacy, and Inner Models06 Sep 2022 » PhDs in Logic XIII, Turin

Highlights from infinite games, mice, and their connection29 Aug 2022 » European Set Theory Conference, Turin, Plenary talk

Universally Baire Sets and the Inner Model Program10 Jul 2022 » Set Theory Conference in Jerusalem

Inner Models, Determinacy, and Sealing04 Jul 2022 » Set Theory Workshop at the Erwin Schrödinger Institute, Vienna

Preserving universally Baire sets and Sealing29 Jun 2022 » Logic Colloquium Reykjavik, Iceland

A stationary-tower-free proof of Sealing from a supercompact29 Jun 2022 » Münster conference on inner model theory

A stationary-tower-free proof of Woodin's Sealing Theorem08 Jan 2022 » Winter Meeting of the ASL with the JMM, Seattle, Invited Address (cancelled)

Lower bounds in set theory27 Sep 2021 » DMV-ÖMG Annual Conference 2021, Passau

Uniformization and internal absoluteness15 Sep 2021 » 16th International Luminy Workshop in Set Theory

The strength of determinacy when all sets are universally Baire19 Jul 2021 » Logic Colloquium Poznan, Poland

The strength of determinacy when all sets are universally Baire23 Jun 2021 » ASL North American Annual Meeting

The strength of determinacy when all sets are universally Baire08 Mar 2021 » IMU DMV meeting Jerusalem, Israel

Cancelled24 Mar 2020 » North American Annual Meeting of the ASL, Plenary lecture

How to obtain lower bounds in set theory01 Nov 2019 » Rutgers MAMLS 2019

Sealed Trees and the Perfect Subtree Property for Weakly Compact Cardinals23 Sep 2019 » 15th International Luminy Workshop in Set Theory

Lower bounds for the perfect subtree property at weakly compact cardinals10 Jun 2019 » The Core Model Induction and Other Inner Model Theoretic Tools Rutgers

Tutorial: HOD Computations01 Jun 2019 » Logic Fest in the Windy City, Chicago

The interplay between inner model theory and descriptive set theory in a nutshell22 Jan 2019 » Arctic Set Theory Workshop 4, Kilpisjärvi, Finland

Homogeneous Spaces and Wadge Theory19 Sep 2018 » UMI-SIMAI-PTM, Wroclaw

Large Cardinals in the Stable Core17 Jul 2018 » 1st Girona conference on inner model theory

Long games and Woodin cardinals06 Mar 2018 » GDMV Jahrestagung Paderborn

Projective homogeneous spaces and the Wadge hierarchy14 Aug 2017 » Logic Colloquium, Stockholm

The hereditarily ordinal definable sets in inner models with finitely many Woodin cardinals25 Jul 2017 » Münster conference on inner model theory

HOD in inner models with Woodin cardinals26 Jan 2017 » Arctic Set Theory Workshop, Finland

HOD in $M_n(x,g)$19 Jul 2016 » 1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice

Producing $M_n^{sharp}(x)$ from optimal determinacy hypotheses13 Jun 2016 » YSTW 2016 Copenhagen

A Journey Through the World of Mice and Games - Projective and Beyond18 Jan 2016 » Hamburg Set Theory Workshop 2016

Hybrid Mice with Finitely Many Woodin Cardinals from Determinacy23 Sep 2015 » Minisymposium Set Theory, DMV-Jahrestagung, Hamburg

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses12 Jul 2013 » Graduate Summer School in Set Theory, Irvine

On a Generalization of a Lemma by Kechris and Solovay to an Inner Model Theoretic Context

### Invited Seminar Talks

08 Nov 2022 » Core Model Seminar

A stationary-tower-free proof of Sealing04 Oct 2022 » Baltic Set Theory Seminar

A stationary-tower-free proof of Woodin's Sealing Theorem24 May 2022 » Set Theory Seminar, University of Vienna

Inner Models, Determinacy, and Sealing11 May 2022 » Set Theory Seminar, University of Barcelona

Inner Models, Determinacy, and Sealing29 Apr 2022 » Algebra Seminar, TU Wien

A journey through the world of mice and games10 Mar 2022 » Logic Colloquium, University of Vienna

The Interplay of Determinacy, Large Cardinals, and Inner Models08 Mar 2022 » Leeds University Models and Sets seminar

The Interplay of Determinacy, Large Cardinals, and Inner Models12 Nov 2021 » Cross-Alps Logic Seminar

Large Cardinals and Determinacy18 Jun 2021 » A short talk series: Research in Set Theory

Determinacy Axioms26 May 2021 » Bristol/Oxford Set Theory seminar

The strength of determinacy when all sets are universally Baire20 Apr 2021 » CMU Logic Seminar, Pittsburgh

Large cardinals and determinacy when all sets are universally Baire09 Apr 2021 » CUNY Set Theory Seminar, New York

The exact consistency strength of AD + all sets are universally Baire11 Mar 2021 » KGRC Research Seminar, Vienna

The exact consistency strength of $AD^+$ + all sets are universally Baire27 Nov 2020 » Set Theory Seminar, The Fields Institute, Toronto

The Large Cardinal Strength of Determinacy Axioms05 Nov 2020 » Ghent–Leeds Virtual Logic Seminar

Determinacy and inner models08 May 2020 » CUNY Set Theory Seminar, New York

How to obtain lower bounds in set theory30 Apr 2020 » Research Seminar, Vienna

How to obtain lower bounds in set theory14 Jan 2020 » Oberseminar mathematische Logik, Bonn

Infinite decreasing chains in the Mitchell order15 Nov 2019 » CUNY Logic Workshop, New York

Infinite decreasing chains in the Mitchell order25 Feb 2019 » Set Theory Seminar Bar-Ilan University, Israel

Projective determinacy for games of length omega^2 and longer05 Feb 2019 » Logic and Set Theory Seminar Bristol

The consistency strength of long projective determinacy10 Dec 2018 » Rutgers Logic Seminar

The consistency strength of long projective determinacy04 Dec 2018 » Oberseminar mathematische Logik, Bonn

Structural properties of the Stable Core07 Sep 2018 » CUNY Set Theory Seminar

How to obtain Woodin cardinals from the determinacy of long games09 Jul 2018 » Oberseminar Konstanz

Large cardinals from the determinacy of games06 Apr 2018 » Turin

Combinatorial Variants of Lebesgue's Density Theorem01 Dec 2017 » CUNY Set Theory Seminar, New York

Canonical inner models and their HODs01 Dec 2016 » KGRC Research Seminar, Vienna

$HOD^{M_n(x,g)}$ is a core model09 Jun 2016 » KGRC Research Seminar, Vienna

Hybrid Mice and Determinacy in the L(IR)-hierarchy06 Jul 2015 » Oberseminar Bonn

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses05 Mar 2015 » KGRC Research Seminar, Vienna

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses12 Dec 2014 » CUNY Set Theory Seminar, New York

Producing $M_n^{sharp}$ from Boldface Level-wise Projective Determinacy21 Oct 2014 » Oberseminar Münster

Woodins HOD Conjecture19 May 2014 » Oberseminar Münster

Producing ${M_n^{sharp}}$ from optimal determinacy hypotheses28 Oct 2013 » Oberseminar Münster

Producing $M_n^{sharp}$ from Projective Determinacy

### Contributed Conference Talks

24 Aug 2018 » KNAW Academy Colloquium on Generalised Baire Spaces

Lebesgue's Density Theorem for tree forcing ideals03 Jul 2017 » European Set Theory Conference, Budapest

Combinatorial Variants of Lebesgue's Density Theorem16 Sep 2014 » Workshop in Set Theory, Bedlewo, Poland

Producing Iterable Inner Models with Finitely many Woodin Cardinals from Optimal Determinacy Hypotheses05 Sep 2014 » Colloquium Logicum 2014, Neubiberg

Producing Iterable Inner Models with Finitely many Woodin Cardinals from Optimal Determinacy Hypotheses07 Mar 2014 » INFTY Final Conference, Bonn

Producing Inner Models with Woodin Cardinals from Projective Determinacy

### Talks for a General Audience

15 Jan 2021 » World Logic Day, Hamburg

Unendliche Spiele und die Grenzen der Mathematik14 Mar 2020 » International Day of Mathematics, Vienna

Das Unbegreifliche verstehen - die Faszination Unendlichkeit12 Nov 2013 » Doktorandenforum der Studienstiftung des deutschen Volkes, Köln

Nicht-Beweisbarkeit und unendliche Spiele02 May 2013 » Tecklenburg

Games in Set Theory