Talks

Invited Conference Talks

  1. 05 Jan 2023 » Winter Meeting of the ASL with the JMM, Boston, Invited Address
    TBA

  2. 05 Sep 2022 » PhDs in Logic XIII, Turin
    TBA

  3. 29 Aug 2022 » European Set Theory Conference, Turin, Plenary talk
    TBA

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

  5. 04 Jul 2022 » Set Theory Workshop at the Erwin Schrödinger Institute
    TBA

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

  7. 20 Jun 2022 » Münster conference on inner model theory
    TBA

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  30. 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

Invited Seminar Talks

  1. 27 May 2022 » Baltic Set Theory Seminar
    A stationary-tower-free proof of Woodin's Sealing Theorem

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  34. 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