Research
Research
Generalising Kim's lemma to abstract independence relations. Workshop on Model Theory and Applications. Chania, Crete (June 5th, 2026).
Generalising Kim's lemma to abstract independence relations. South and East of England Model Theory Network Meeting. University of Cambridge (March 24th, 2026).
Generalising Kim's lemma to abstract independence relations. Models Seminar. University of Leeds, UK (March 11th, 2026).
Variants of Kim's lemma, bizarre trees, and independence relations. Model Theory in the United Kingdom. University of East Anglia, UK (June 3rd, 2025). (Slides)
Pregeometric theories and where (not) to find them. Algebra Seminar. Masaryk University, Czech Republic (May 28th, 2025).
Model-theoretic properties of hypertournaments. Algebra Seminar. TU Wien, Austria (March 14th, 2025).
Pregeometric theories and where (not) to find them. Research Seminar in Model Theory. Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Austria (March 12th, 2025).
Dividing lines and model-theoretic notions of independence. Set Theory in the United Kingdom. University College London, UK (February 20th, 2025) (Slides)
A thorny question about NSOP_1 theories. British Postgraduate Model Theory Conference. The University of Manchester, UK (January 20th, 2025). (Slides)
On stable Kim-forking and rosy theories. London Logic Seminar. Imperial College London, UK (November 20th, 2024).
On stable Kim-forking and rosy theories. Logic Colloquium. University of California, Berkeley, US (November 6th, 2024).
On stable Kim-forking and rosy theories. Logic Seminar. University of Illinois, Urbana-Champaign, US (October 23rd, 2024).
Stay positive! An introduction to positive model theory (part II). Graduate Student Logic Seminar. University of Notre Dame, US (October 10th, 2024).
On stable Kim-forking and rosy theories. Connecticut Logic Seminar. Wesleyan University, US (October 1st, 2024).
Stay positive! An introduction to positive model theory (part I). Graduate Student Logic Seminar. University of Notre Dame, US (September 26th, 2024).
An NSOP_4 structure without stationarity. Logic Seminar. University of Illinois, Chicago, US (September 24th, 2024).
On stable Kim-forking and rosy theories. Model Theory Seminar. University of Notre Dame, US (September 17th, 2024).
A strictly NSOP_4 structure without stationarity. British Mathematical Colloquium. The University of Manchester (June 19th, 2024). (Slides)
A strictly NSOP_4 structure without stationarity. South and East of England Model Theory Network Meeting. Imperial College London, UK (December 13th, 2023).
Infinite games: large cardinals from determinacy. Part III Essay at the University of Cambridge (2022). Supervised by Benedikt Löwe. (PDF)
Properties of algebraically-δ-closed fields. Unpublished note. Summer Project (2021). Supervised by Omar León Sánchez. Funded by an LMS UG Research Bursary. (PDF)
Henkin's method in mathematical logic. Final-Year Undergraduate Project at the University of Manchester (2018). Supervised by Marcus Tressl. (PDF)
A strong non-monotonic approach to epistemic modals. Philosophy Dissertation at the University of Manchester (2021). Supervised by Graham Stevens. (PDF)