Mathematics

My papers, slides, notes and other mathematical creations.

Papers

Papers and preprints.
There is nothing yet of this type...

Talks and slides

Talks and the corresponding material.
A category-theoretic version of the Kim-Pillay theorem
Slides used for my talk at the BPGMTC20 and the British Logic Colloquium 2019.Slides (PDF)Expand abstract

Notes

Miscellaneous notes and pieces of mathematics.
There is nothing yet of this type...

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