Mathematics

My papers, slides, notes and other mathematical creations.

Preprints

Papers that are (intended to be) submitted to a journal.
Unstable independence from the categorical point of view
With Jiri Rosický, preprint, 25 October 2023.arXivExpand abstract
Positive indiscernibles
Preprint, 25 May 2023.arXivExpand abstract
Dividing Lines between Positive Theories
With Anna Dmitrieva and Francesco Gallinaro, preprint, 18 April 2023.arXivExpand abstract

Publications

Papers that have been published or are accepted.
Independence relations for exponential fields
With Vahagn Aslanyan, Robert Henderson and Jonathan Kirby, Annals of Pure and Applied Logic, 174(8), August 2023.JournalarXivExpand abstract
Bilinear spaces over a fixed field are simple unstable
Annals of Pure and Applied Logic, 174(6), June 2023.JournalarXivExpand abstract
NSOP1-like independence in AECats
Journal of Symbolic Logic, December 2022.JournalarXivExpand abstract
Kim-independence in positive logic
With Jan Dobrowolski, Model Theory, 1(1):55-113, June 2022.JournalarXivExpand abstract
Type space functors and interpretations in positive logic
Archive for Mathematical Logic, 62:1-28, March 2022.JournalarXivExpand abstract
The Kim-Pillay theorem for Abstract Elementary Categories
Journal of Symbolic Logic, 85(4):1717-1741, December 2020.JournalarXivExpand abstract

Talks and slides

Talks and the corresponding material.
Dividing lines between positive theories
Talk for Model Theory Conference in Seoul, August 2023.Slides (PDF)Expand abstract
Categorical Neostability
Talk at SEEMOD XIV in Buckingham, March 2023, also given at One-day of Algebra and Model Theory in Manchester, January 2023.Slides (PDF)Expand abstract
Bilinear spaces over a fixed field are simple unstable
Talk at ECIMT 2022, also given at UEA Logic seminar, QMUL and Manchester logic seminar, March 2022.Slides (PDF)Expand abstract
Independence Relations in Abstract Elementary Categories
Talk at the British Postgraduate Model Theory Conference (BPGMTC) 2022, January 2022.Slides (PDF)Expand abstract
Canonicity of Independence Relations in Abstract Elementary Categories
Talk at the UEA pure mathematics seminar, October 2021.Slides (PDF)Expand abstract
Independence Relations in Abstract Elementary Categories
Talk at the Helsinki Logic Seminar, September 2021.Slides (PDF)Expand abstract
Kim-independence in positive logic
Talk at SMTH2, June 2021.Slides (PDF)Expand abstract
Independence Relations in Abstract Elementary Categories
Talk at the Masaryk University Algebra Seminar, April 2021.Slides (PDF)YoutubeExpand abstract
Kim-independence in positive logic (short version)
Talk at GSCL XXII, March 2021.Slides (PDF)Expand abstract
Kim-independence in positive logic
Talk at the logic seminar at the Hebrew University of Jerusalem, December 2020.Slides (PDF)Expand abstract
Type space functors in positive model theory
Poster for the Topics in Category Theory 2020 spring school, March 2020.Poster (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.
Independence Relations in Abstract Elementary Categories
PhD thesis about model-theoretic independence relations in AECats (Abstract Elementary Categories) and positive logic. Supervised by Jonathan Kirby, at University of East Anglia.PDFMore infoExpand abstract
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. Preprints
  3. Publications
  4. Talks and slides
  5. Notes
  6. Theses

Categories

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