Stone duality for first order logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3825757 (Why is no real title available?)
- scientific article; zbMATH DE number 3893196 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3185026 (Why is no real title available?)
- A General Stone-Gelfand Duality
- Completeness results for intuitionistic and modal logic in a categorical setting
- Exact categories and categories of sheaves
- Formal category theory: Adjointness for 2-categories
- Full Continuous Embeddings of Toposes
- Model Theory of Epimorphisms
- Model theory
- On full embeddings. I
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Strong conceptual completeness for first-order logic
Cited in
(27)- Locale morphisms with exact direct image functor in sheaves
- Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
- Descent and duality
- A theorem on Barr-exact categories, with an infinitary generalization
- Strong conceptual completeness for first-order logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Sheaf Representations and Duality in Logic
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
- Generalized Płonka sums and products
- Infinitary first-order categorical logic
- Definability and descent
- scientific article; zbMATH DE number 3884158 (Why is no real title available?)
- A stone-type duality theorem for separation logic via its underlying bunched logics
- scientific article; zbMATH DE number 3880909 (Why is no real title available?)
- Algebraization of quantifier logics, an introductory overview
- Topological representation of geometric theories
- Duality and definability in first order logic
- scientific article; zbMATH DE number 3946127 (Why is no real title available?)
- Logic in category theory
- Flatness, weakly lex colimits, and free exact completions
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Avoiding the axiom of choice in general category theory
- Definable categories
- Imaginary modules
- First-order logical duality
- Hopf algebras and linear logic
- scientific article; zbMATH DE number 3893196 (Why is no real title available?)
This page was built for publication: Stone duality for first order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1105598)
