Mathematics

My papers, slides, notes and other mathematical creations.

Papers

Papers and preprints.
The Kim-Pillay theorem for Abstract Elementary Categories
Journal of Symbolic Logic, 85(4):1717-1741, December 2020.JournalarXivExpand abstract
Type space functors and interpretations in positive logic
Preprint, 8 May 2020.arXivExpand abstract

Talks and slides

Talks and the corresponding material.
Independence Relations in Abstract Elementary Categories
Talk at the Masaryk University Algebra Seminar.Slides (PDF)YoutubeExpand abstract
Kim-independence in positive logic (short version)
Slides for a talk at GSCL XXII.Slides (PDF)Expand abstract
Kim-independence in positive logic
Slides for a talk at the logic seminar at the Hebrew University of Jerusalem.Slides (PDF)Expand abstract
Type space functors in positive model theory
Poster for the Topics in Category Theory 2020 spring school.Poster (PDF)Expand abstract
A category-theoretic version of the Kim-Pillay theorem
Slides 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 abstract

Notes

Miscellaneous notes and pieces of mathematics.
Finitely short AECats
Short note translating some standard tools in model theory to AECats. PDFExpand abstract

Theses

My theses.
Classifying Topoi and Model Theory
Master's thesis about classifying topoi and connection to model theory. Supervised by Jaap van Oosten, at Utrecht University.PDFExpand abstract
The Logic of Unprovability
Bachelor's thesis about Gödel's incompleteness theorems. Supervised by Jaap van Oosten, at Utrecht University.PDFExpand abstract

Type

  1. All types
  2. Papers
  3. Talks and slides
  4. Notes
  5. Theses

Categories

Filter for the following categories. If nothing is selected, all categories are displayed