| Publication | Date of Publication | Type |
|---|
Positive indiscernibles
(available as arXiv preprint) | N/A | Paper |
"Corrigendum to ""Kim-independence in positive logic"""
(available as arXiv preprint) | N/A | Paper |
Cofibrant generation of pure monomorphisms in presheaf categories
Advances in Mathematics | 2026-06-12 | Paper |
Dividing lines between positive theories
The Journal of Symbolic Logic | 2026-02-12 | Paper |
Lifting independence along functors
Applied Categorical Structures | 2026-01-19 | Paper |
Cellular generation revisited
(available as arXiv preprint) | 2026-01-01 | Paper |
The Compactness Theorem for Enriched Logic
(available as arXiv preprint) | 2026-01-01 | Paper |
Unstable independence from the categorical point of view
Annals of Pure and Applied Logic | 2025-10-10 | Paper |
Cofibrant generation of pure monomorphisms in presheaf categories
(available as arXiv preprint) | 2025-01-01 | Paper |
Positive Logic: An Introduction for Model Theorists
(available as arXiv preprint) | 2025-01-01 | Paper |
Positive indiscernibles
Archive for Mathematical Logic | 2024-10-10 | Paper |
Correction to: ``Kim-independence in positive logic''
Model Theory | 2024-08-27 | Paper |
Existentially closed models and locally zero-dimensional toposes
(available as arXiv preprint) | 2024-01-01 | Paper |
Lifting independence along functors
(available as arXiv preprint) | 2024-01-01 | Paper |
| Classifying toposes for non-geometric theories | 2023-12-14 | Paper |
| Unstable independence from the categorical point of view | 2023-10-24 | Paper |
Kim-independence in positive logic
Model Theory | 2023-06-19 | Paper |
Bilinear spaces over a fixed field are simple unstable
Annals of Pure and Applied Logic | 2023-04-27 | Paper |
Type space functors and interpretations in positive logic
Archive for Mathematical Logic | 2023-04-27 | Paper |
| Dividing Lines between Positive Theories | 2023-04-15 | Paper |
Classifying toposes for non-geometric theories
(available as arXiv preprint) | 2023-01-01 | Paper |
Bilinear spaces over a fixed field are simple unstable
(available as arXiv preprint) | 2022-03-09 | Paper |
| NSOP₁-like independence in AECats | 2021-10-26 | Paper |
The Kim-Pillay theorem for abstract elementary categories
Journal of Symbolic Logic | 2021-04-15 | Paper |
The Kim-Pillay theorem for abstract elementary categories
Journal of Symbolic Logic | 2021-04-15 | Paper |
Type space functors and interpretations in positive logic
(available as arXiv preprint) | 2020-05-07 | Paper |
