27 citations · 64 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 3 cited
On duality and model theory for polyadic spaces
Sam van Gool, Jérémie Marquès
This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open pol…
math.LO2022★ 2 cited
Topological Duality for Distributive Lattices: Theory and Applications
Mai Gehrke, Sam van Gool
This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in m…