Talks

Recent conference and seminar talks. Please email for older slides.

1. Iterated forcing and determinacy
   17th Luminy workshop on set theory, CIRM, Marseille, October 2023
2. Open hypergraphs, ideals and games (blackboard talk)
   Annual meeting of the Swiss Society for Logic and Philosophy of Science, Lausanne, September 2023
3. Interplay of determinacy and forcing
   Kobe Set Theory Seminar, June 2023
4. Implicitly definable sets and large cardinals
   (contributed) Set Theory in the UK 10, Oxford, June 2023
5. Forcing over choiceless models and generic absoluteness
   Leeds Logic Seminar, December 2022
6. Interaction of determinacy and forcing
   Leeds Models and Sets Seminar, October 2022
7. Interaction of determinacy and forcing
   Annual meeting of the German Mathematical Society (DMV), Logic Section, Berlin, September 2022
8. Baby measurable cardinals Video
   European Set Theory Conference, Torino, August 2022 (contributed)
9. Countable ranks at the first and second projective levels
   Logic Colloquium 2022, Reykjavik, July 2022 (contributed)
10. Determinacy and iterated forcing (blackboard talk)
    5th Münster Conference on Inner Model Theory, June 2022
11. Open dihypergraphs on generalized Baire spaces
    Toronto Set Theory Seminar, April 2022
12. Open dihypergraphs on generalized Baire spaces
    Arctic Set Theory Workshop, Kilpisjärvi, February 2022
13. Open dihypergraphs on generalized Baire spaces Video
    Model Theoretic Logics and their Frontiers, Budapest, January 2022
14. Forcing axioms via ground model interpretations
    Set theory seminar, University of Barcelona, December 2021
15. Effective overtness of generalised Cantor spaces
    Descriptive set theory and computable topology, Dagstuhl, November 2021
16. Forcing axioms via ground model interpretations
    Joint meeting of the German Mathematical Society (DMV) and Austrian Mathematical Society (ÖMG), University of Passau, September 2021
17. The recognisable universe in the presence of measurable cardinals Video
    New York Set Theory Seminar, CUNY, November 2020
18. Structural results about Pi11 and Sigma12 sets
    Logic Seminar, National University of Singapore, November 2020
19. Tree forcings, sharps and absoluteness
    KGRC Research Seminar, Universität Wien, October 2020
20. Borel sets in effective descriptive set theory
    Ghent-Leeds Virtual Logic Seminar, September 2020
21. The length of countable ranks (blackboard talk)
    Logic and set theory seminar, University of Bristol, February 2020
22. Forcing over Cohen's symmetric model
    Special session on choiceless set theory and related topics, Joint Mathematics Meeting Denver, 16 January 2020
23. Internal absoluteness
    Set Theory in the United Kingdom 4, University of Oxford, 14 December 2019
24. Internal absoluteness
    Set theory seminar, University of Paris, 12 December 2019
25. Oligomorphic groups are essentially countable
    Logic seminar, University of Paris, 9 December 2019
26. A variant of generic supercompactness
    Set Theory and Infinity, RIMS Kyoto, 22 November 2019
27. Open problems on generically supercompact cardinals
    (contributed) Set Theory in the United Kingdom 3, University of Leeds, 3 October 2019
28. Internal absoluteness
    14th Luminy workshop on set theory, CIRM, Marseille, 23 September 2019
29. Ideal topologies on generalized Cantor spaces Video
    BIRS Oaxaca, 6 August 2019
30. Internal absoluteness
    (contributed) European Set Theory Conference, University of Vienna, 1 July 2019
31. Randomness notions for infinite time Turing machines
    Higher Recursion Theory and Set Theory Conference, National University of Singapore, 3 June 2019
32. Automatic structures: an introduction
    Logic seminar, Swansea University, 4 April 2019
33. Open problems on internal absoluteness
    (contributed) Set Theory in the United Kingdom 1, University of Cambridge, 16 February 2019