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

Abstract

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)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More