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