On duality and model theory for polyadic spaces - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

On duality and model theory for polyadic spaces

Jérémie Marquès
  • Function : Author


This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We start by characterizing the Priestley duals of coherent hyperdoctrines, the algebraization we take for coherent logic, as the open polyadic Priestley spaces. We then prove completeness, omitting types, and Craig interpolation theorems from this order-topological point of view. Our approach emphasizes the role of interpolation and openness properties, and allows for a modular, syntax-free treatment of these model-theoretic results. As further applications of the same method, we prove completeness theorems for constant domain and G\"odel-Dummett intuitionistic predicate logics.

Dates and versions

hal-03815128 , version 1 (14-10-2022)



Sam van Gool, Jérémie Marquès. On duality and model theory for polyadic spaces. 2022. ⟨hal-03815128⟩
6 View
0 Download



Gmail Facebook Twitter LinkedIn More