Talks
Invited Conference Talks
17 Feb 2025 » Arctic Set Theory Workshop 7, Finland
TBA13 Jan 2025 » Workshop on Set Theory, Mathematisches Forschungsinstitut Oberwolfach
Generic absoluteness for Chang-type models and LSA03 Sep 2024 » Congress of the Italian Association of Logic and Applications, Udine
Infinite Games and Large Cardinals: Attacking Independence by Connecting the Hierarchies27 Jan 2024 » Winter School in Abstract Analysis
Determinacy, Large Cardinals, and Inner Models13 Nov 2023 » Perspectives on Set Theory, IMPAN, Warsaw
The mystery of Woodin limits of Woodin cardinals11 Oct 2023 » 17th International Luminy Workshop in Set Theory
Generic absoluteness for the definable powerset of the universally Baire sets22 Sep 2023 » OeMG Meeting, Graz, Plenary talk
Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions07 Sep 2023 » British Logic Colloquium, Bristol
Generic absoluteness for the definable powerset of the universally Baire sets05 May 2023 » Gdansk Logic Conference
Determinacy and generic absoluteness for the definable powerset of the universally Baire sets07 Mar 2023 » STUK Cambridge
Large Cardinals and Determinacy03 Mar 2023 » 10th Indian Conference on Logic and its Applications (ICLA)
Determinacy Axioms and Large Cardinals05 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
and my talk at the 17th International Luminy Workshop in Set Theory.
Invited Seminar Talks
31 Jan 2025 » Poset-G seminar
Scenarios for attacking Gödel's Problem06 Apr 2023 » Online Logic Seminar
Canonical Models of Determinacy29 Mar 2023 » Mathematical Colloquium University of Vienna
Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions08 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
05 Apr 2025 » Copernicus-Symposium, Nürnberg
Spiele an der Grenze der Mathematik: Von Gödel bis zu großen Unendlichkeiten14 Mar 2025 » International Day of Mathematics, Vienna
Die Grenzen der Mathematik: von Gödel bis zu großen Unendlichkeiten21 Nov 2024 » Open Salzburg Mathematics Colloquium
Unbegreifliches verstehen - die Grenzen der Mathematik09 Oct 2024 » Young Academy Distinguished Lecture, Austrian Academy of Sciences
The boundaries of mathematics: from Gödel to the study of large infinities14 Mar 2024 » International Day of Mathematics, Vienna
Unendliche Spiele an der Grenze der Mathematik15 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