Jérémie Marquès

I am a post-doc supervised by Sam van Gool at IRIF (Paris).
I was previously a PhD student of Mai Gehrke, from 2020 to 2023, in Nice.
My topics of interest are categorical logic and Stone duality.
Email: contact@jeremie-marques.name.

Publications

• On duality and model theory for polyadic spaces (2024), with Sam van Gool, published in the Annals of Pure and Applied Logic. DOI: 10.1016/j.apal.2023.103388 [pdf]
• Categorical logic from the perspective of duality and compact ordered spaces (2023), PhD thesis, directed by Mai Gehrke. The main topic is an extension of (first-order) coherent and intuitionistic logic obtained topologically by replacing Priestley spaces by compact ordered spaces.
• Polyadic spaces and profinite monoids (2021), published in the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science. DOI: 10.1007/978-3-030-88701-8_18 [pdf]