First-order logical duality (Q1935870)

An extension of Stone duality for Boolean algebras from classical propositional logic to predicate logic is presented. The main idea is to view the classical syntax/semantics duality as algebra/geometry. Thus, the authors recognize a duality between algebra and geometry using insights from category theory. This extension of Stone duality builds on top of the representation theorem of Butz and Moerdijk suitably translated into logical terms. The paper is very well written and discusses many interesting open problems.