Stone duality for first order logic

DOI10.1016/0001-8708(87)90020-XzbMath0649.03050OpenAlexW2041181261MaRDI QIDQ1105598

Michael Makkai

Publication date: 1987

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(87)90020-x

zbMATH Keywords

Stone duality2-categoriescategory with ultraproductspretoposStone adjunctionsyntactical structure of a first order theoryultracategoryultrastructure

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Ultraproducts and related constructions (03C20)

Related Items

Infinitary first-order categorical logic, Descent and duality, Logic in Category Theory, Strong conceptual completeness for first-order logic, Avoiding the axiom of choice in general category theory, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Imaginary modules, Definable categories, A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, Flatness, weakly lex colimits, and free exact completions, A theorem on Barr-exact categories, with an infinitary generalization, Hopf algebras and linear logic, Algebraization of quantifier logics, an introductory overview, Generalized Płonka sums and products, Ultrafilters, finite coproducts and locally connected classifying toposes, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, Definability and descent, Locale morphisms with exact direct image functor in sheaves, Sheaf Representations and Duality in Logic, Topological representation of geometric theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strong conceptual completeness for first-order logic
• On full embeddings. I
• Completeness results for intuitionistic and modal logic in a categorical setting
• Model theory
• Formal category theory: Adjointness for 2-categories
• Exact categories and categories of sheaves
• 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
• Full Continuous Embeddings of Toposes
• Model Theory of Epimorphisms
• A General Stone-Gelfand Duality
• Representation of Distributive Lattices by means of ordered Stone Spaces