I am a post-doc in Milan supervised by Silvio Ghilardi.
I am interested in categorical logic, Stone dualities and games in logic.
Email: contact@jeremie-marques.name.
My work
- First-Order Modal Logic via Logical Categories, 2025, with Silvio Ghilardi, submitted. arxiv
- A Criterion for Categories on which every Grothendieck Topology is Rigid, 2024, unsubmitted. arxiv
- Atomic Toposes with Co-Well-Founded Categories of Atoms, 2024, submitted. arxiv
- On Duality and Model Theory for Polyadic Spaces, 2024, with Sam van Gool, published in the Annals of Pure and Applied Logic. arxiv bibtex doi
- Categorical Logic from the perspective of Duality and Compact Ordered Spaces, 2023, PhD thesis directed by Mai Gehrke, Université Côte d’Azur (Nice). pdf bibtex
- Polyadic Spaces and Profinite Monoids, 2021, published in the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science. pdf bibtex doi
Past positions
2023—2024 Post-doc supervised by Sam van Gool at IRIF (Paris).
2020—2023 PhD student of Mai Gehrke in Nice.