On duality and model theory for polyadic spaces

DOI10.1016/j.apal.2023.103388arXiv2210.01018OpenAlexW4306246421MaRDI QIDQ6139255

Samuel J. van Gool, Jérémie Marquès

Publication date: 18 December 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.01018

zbMATH Keywords

interpolationcategorical logichyperdoctrinescompact ordered spacesstone dualitypolyadic spaces

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical first-order logic (03B10) Stone spaces (Boolean spaces) and related structures (06E15) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalising canonical extension to the categorical setting
• On the axiomatisability of the dual of compact ordered spaces
• Categories of topological spaces and scattered theories
• Amalgamation and interpolation in the category of Heyting algebras
• An application of open maps to categorical logic
• Ordered sets R and Q as bases of Kripke models
• Sheaves in geometry and logic: a first introduction to topos theory
• Completeness theorem for Dummett's LC quantified and some of its extensions
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Sheaves and duality
• Polyadic sets and homomorphism counting
• Polyadic spaces and profinite monoids
• Stably compact spaces
• A 2-Categories Companion
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjointness in Foundations
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Spectral Spaces
• SPACES OF TYPES IN POSITIVE MODEL THEORY
• Canonical Extensions, Esakia Spaces, and Universal Models
• Theories of presheaf type
• Categories and Sheaves
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The representation of Boolean algebras
• A proof of the completeness theorem of Grödel
• Completely Distributive Complete Lattices

This page was built for publication: On duality and model theory for polyadic spaces