Papers and preprints.
The Kim-Pillay theorem for Abstract Elementary CategoriesJournal of Symbolic Logic, 85(4):1717-1741, December 2020.Journal • arXiv • Expand abstract1;2;4; Type space functors and interpretations in positive logicPreprint, 8 May 2020.arXiv • Expand abstract1;2;3;5;
Talks and the corresponding material.
Independence Relations in Abstract Elementary CategoriesTalk at the Masaryk University Algebra Seminar.Slides (PDF) • Youtube • Expand abstract1;2;4; Kim-independence in positive logic (short version)Slides for a talk at GSCL XXII.Slides (PDF) • Expand abstract2;5; Kim-independence in positive logicSlides for a talk at the logic seminar at the Hebrew University of Jerusalem.Slides (PDF) • Expand abstract2;5; Type space functors in positive model theoryPoster for the Topics in Category Theory 2020 spring school.Poster (PDF) • Expand abstract1;2;5; A category-theoretic version of the Kim-Pillay theoremSlides used for my talk at the BPGMTC20 and the British Logic Colloquium 2019. These slides are about an older version of the paper The Kim-Pillay theorem for Abstract Elementary Categories (version 2 on arXiv), hence they are outdated.Slides (PDF) • Expand abstract1;2;
Miscellaneous notes and pieces of mathematics.
Finitely short AECatsShort note translating some standard tools in model theory to AECats. PDF • Expand abstract1;2;4;
Classifying Topoi and Model TheoryMaster's thesis about classifying topoi and connection to model theory. Supervised by Jaap van Oosten, at Utrecht University.PDF • Expand abstract1;2;3; The Logic of UnprovabilityBachelor's thesis about Gödel's incompleteness theorems. Supervised by Jaap van Oosten, at Utrecht University.PDF • Expand abstract2;