We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: On duality and model theory for polyadic spaces

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.
Comments: 43 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
MSC classes: 03C07 (Primary), 06D50, 18C10, 18A15 (Secondary)
Cite as: arXiv:2210.01018 [math.LO]
  (or arXiv:2210.01018v1 [math.LO] for this version)

Submission history

From: Jérémie Marquès [view email]
[v1] Mon, 3 Oct 2022 15:31:03 GMT (63kb)

Link back to: arXiv, form interface, contact.