Talks

Invited Conference Talks

  1. 03 Sep 2024 » Congress of the Italian Association of Logic and Applications, Udine
    Infinite Games and Large Cardinals: Attacking Independence by Connecting the Hierarchies

  2. 27 Jan 2024 » Winter School in Abstract Analysis
    Determinacy, Large Cardinals, and Inner Models

  3. 13 Nov 2023 » Perspectives on Set Theory, IMPAN, Warsaw
    The mystery of Woodin limits of Woodin cardinals

  4. 11 Oct 2023 » 17th International Luminy Workshop in Set Theory
    Generic absoluteness for the definable powerset of the universally Baire sets

  5. 22 Sep 2023 » OeMG Meeting, Graz, Plenary talk
    Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions

  6. 07 Sep 2023 » British Logic Colloquium, Bristol
    Generic absoluteness for the definable powerset of the universally Baire sets

  7. 05 May 2023 » Gdansk Logic Conference
    Determinacy and generic absoluteness for the definable powerset of the universally Baire sets

  8. 07 Mar 2023 » STUK Cambridge
    Large Cardinals and Determinacy

  9. 03 Mar 2023 » 10th Indian Conference on Logic and its Applications (ICLA)
    Determinacy Axioms and Large Cardinals

  10. 05 Jan 2023 » Winter Meeting of the ASL with the JMM, Boston, Invited Address
    Universally Baire Sets, Determinacy, and Inner Models

  11. 06 Sep 2022 » PhDs in Logic XIII, Turin
    Highlights from infinite games, mice, and their connection

  12. 29 Aug 2022 » European Set Theory Conference, Turin, Plenary talk
    Universally Baire Sets and the Inner Model Program

  13. 10 Jul 2022 » Set Theory Conference in Jerusalem
    Inner Models, Determinacy, and Sealing

  14. 04 Jul 2022 » Set Theory Workshop at the Erwin Schrödinger Institute, Vienna
    Preserving universally Baire sets and Sealing

  15. 29 Jun 2022 » Logic Colloquium Reykjavik, Iceland
    A stationary-tower-free proof of Sealing from a supercompact

  16. 29 Jun 2022 » Münster conference on inner model theory
    A stationary-tower-free proof of Woodin's Sealing Theorem

  17. 08 Jan 2022 » Winter Meeting of the ASL with the JMM, Seattle, Invited Address (cancelled)
    Lower bounds in set theory

  18. 27 Sep 2021 » DMV-ÖMG Annual Conference 2021, Passau
    Uniformization and internal absoluteness

  19. 15 Sep 2021 » 16th International Luminy Workshop in Set Theory
    The strength of determinacy when all sets are universally Baire

  20. 19 Jul 2021 » Logic Colloquium Poznan, Poland
    The strength of determinacy when all sets are universally Baire

  21. 23 Jun 2021 » ASL North American Annual Meeting
    The strength of determinacy when all sets are universally Baire

  22. 08 Mar 2021 » IMU DMV meeting Jerusalem, Israel
    Cancelled

  23. 24 Mar 2020 » North American Annual Meeting of the ASL, Plenary lecture
    How to obtain lower bounds in set theory

  24. 01 Nov 2019 » Rutgers MAMLS 2019
    Sealed Trees and the Perfect Subtree Property for Weakly Compact Cardinals

  25. 23 Sep 2019 » 15th International Luminy Workshop in Set Theory
    Lower bounds for the perfect subtree property at weakly compact cardinals

  26. 10 Jun 2019 » The Core Model Induction and Other Inner Model Theoretic Tools Rutgers
    Tutorial: HOD Computations

  27. 01 Jun 2019 » Logic Fest in the Windy City, Chicago
    The interplay between inner model theory and descriptive set theory in a nutshell

  28. 22 Jan 2019 » Arctic Set Theory Workshop 4, Kilpisjärvi, Finland
    Homogeneous Spaces and Wadge Theory

  29. 19 Sep 2018 » UMI-SIMAI-PTM, Wroclaw
    Large Cardinals in the Stable Core

  30. 17 Jul 2018 » 1st Girona conference on inner model theory
    Long games and Woodin cardinals

  31. 06 Mar 2018 » GDMV Jahrestagung Paderborn
    Projective homogeneous spaces and the Wadge hierarchy

  32. 14 Aug 2017 » Logic Colloquium, Stockholm
    The hereditarily ordinal definable sets in inner models with finitely many Woodin cardinals

  33. 25 Jul 2017 » Münster conference on inner model theory
    HOD in inner models with Woodin cardinals

  34. 26 Jan 2017 » Arctic Set Theory Workshop, Finland
    HOD in $M_n(x,g)$

  35. 19 Jul 2016 » 1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice
    Producing $M_n^{sharp}(x)$ from optimal determinacy hypotheses

  36. 13 Jun 2016 » YSTW 2016 Copenhagen
    A Journey Through the World of Mice and Games - Projective and Beyond

  37. 18 Jan 2016 » Hamburg Set Theory Workshop 2016
    Hybrid Mice with Finitely Many Woodin Cardinals from Determinacy

  38. 23 Sep 2015 » Minisymposium Set Theory, DMV-Jahrestagung, Hamburg
    Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

  39. 12 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

Here you can watch my talk at the 15th International Luminy Workshop in Set Theory

and my talk at the 17th International Luminy Workshop in Set Theory.

Invited Seminar Talks

  1. 06 Apr 2023 » Online Logic Seminar
    Canonical Models of Determinacy

  2. 29 Mar 2023 » Mathematical Colloquium University of Vienna
    Independence Phenomena in Mathematics: Current Obstacles and Scenarios for Solutions

  3. 08 Nov 2022 » Core Model Seminar
    A stationary-tower-free proof of Sealing

  4. 04 Oct 2022 » Baltic Set Theory Seminar
    A stationary-tower-free proof of Woodin's Sealing Theorem

  5. 24 May 2022 » Set Theory Seminar, University of Vienna
    Inner Models, Determinacy, and Sealing

  6. 11 May 2022 » Set Theory Seminar, University of Barcelona
    Inner Models, Determinacy, and Sealing

  7. 29 Apr 2022 » Algebra Seminar, TU Wien
    A journey through the world of mice and games

  8. 10 Mar 2022 » Logic Colloquium, University of Vienna
    The Interplay of Determinacy, Large Cardinals, and Inner Models

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

  10. 12 Nov 2021 » Cross-Alps Logic Seminar
    Large Cardinals and Determinacy

  11. 18 Jun 2021 » A short talk series: Research in Set Theory
    Determinacy Axioms

  12. 26 May 2021 » Bristol/Oxford Set Theory seminar
    The strength of determinacy when all sets are universally Baire

  13. 20 Apr 2021 » CMU Logic Seminar, Pittsburgh
    Large cardinals and determinacy when all sets are universally Baire

  14. 09 Apr 2021 » CUNY Set Theory Seminar, New York
    The exact consistency strength of AD + all sets are universally Baire

  15. 11 Mar 2021 » KGRC Research Seminar, Vienna
    The exact consistency strength of $AD^+$ + all sets are universally Baire

  16. 27 Nov 2020 » Set Theory Seminar, The Fields Institute, Toronto
    The Large Cardinal Strength of Determinacy Axioms

  17. 05 Nov 2020 » Ghent–Leeds Virtual Logic Seminar
    Determinacy and inner models

  18. 08 May 2020 » CUNY Set Theory Seminar, New York
    How to obtain lower bounds in set theory

  19. 30 Apr 2020 » Research Seminar, Vienna
    How to obtain lower bounds in set theory

  20. 14 Jan 2020 » Oberseminar mathematische Logik, Bonn
    Infinite decreasing chains in the Mitchell order

  21. 15 Nov 2019 » CUNY Logic Workshop, New York
    Infinite decreasing chains in the Mitchell order

  22. 25 Feb 2019 » Set Theory Seminar Bar-Ilan University, Israel
    Projective determinacy for games of length omega^2 and longer

  23. 05 Feb 2019 » Logic and Set Theory Seminar Bristol
    The consistency strength of long projective determinacy

  24. 10 Dec 2018 » Rutgers Logic Seminar
    The consistency strength of long projective determinacy

  25. 04 Dec 2018 » Oberseminar mathematische Logik, Bonn
    Structural properties of the Stable Core

  26. 07 Sep 2018 » CUNY Set Theory Seminar
    How to obtain Woodin cardinals from the determinacy of long games

  27. 09 Jul 2018 » Oberseminar Konstanz
    Large cardinals from the determinacy of games

  28. 06 Apr 2018 » Turin
    Combinatorial Variants of Lebesgue's Density Theorem

  29. 01 Dec 2017 » CUNY Set Theory Seminar, New York
    Canonical inner models and their HODs

  30. 01 Dec 2016 » KGRC Research Seminar, Vienna
    $HOD^{M_n(x,g)}$ is a core model

  31. 09 Jun 2016 » KGRC Research Seminar, Vienna
    Hybrid Mice and Determinacy in the L(IR)-hierarchy

  32. 06 Jul 2015 » Oberseminar Bonn
    Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

  33. 05 Mar 2015 » KGRC Research Seminar, Vienna
    Mice with finitely many Woodin cardinals from optimal determinacy hypotheses

  34. 12 Dec 2014 » CUNY Set Theory Seminar, New York
    Producing $M_n^{sharp}$ from Boldface Level-wise Projective Determinacy

  35. 21 Oct 2014 » Oberseminar Münster
    Woodins HOD Conjecture

  36. 19 May 2014 » Oberseminar Münster
    Producing ${M_n^{sharp}}$ from optimal determinacy hypotheses

  37. 28 Oct 2013 » Oberseminar Münster
    Producing $M_n^{sharp}$ from Projective Determinacy

Contributed Conference Talks

  1. 24 Aug 2018 » KNAW Academy Colloquium on Generalised Baire Spaces
    Lebesgue's Density Theorem for tree forcing ideals

  2. 03 Jul 2017 » European Set Theory Conference, Budapest
    Combinatorial Variants of Lebesgue's Density Theorem

  3. 16 Sep 2014 » Workshop in Set Theory, Bedlewo, Poland
    Producing Iterable Inner Models with Finitely many Woodin Cardinals from Optimal Determinacy Hypotheses

  4. 05 Sep 2014 » Colloquium Logicum 2014, Neubiberg
    Producing Iterable Inner Models with Finitely many Woodin Cardinals from Optimal Determinacy Hypotheses

  5. 07 Mar 2014 » INFTY Final Conference, Bonn
    Producing Inner Models with Woodin Cardinals from Projective Determinacy

Talks for a General Audience

  1. 15 Jan 2021 » World Logic Day, Hamburg
    Unendliche Spiele und die Grenzen der Mathematik

  2. 14 Mar 2020 » International Day of Mathematics, Vienna
    Das Unbegreifliche verstehen - die Faszination Unendlichkeit

  3. 12 Nov 2013 » Doktorandenforum der Studienstiftung des deutschen Volkes, Köln
    Nicht-Beweisbarkeit und unendliche Spiele

  4. 02 May 2013 » Tecklenburg
    Games in Set Theory