Strong conceptual completeness for first-order logic

DOI10.1016/0168-0072(88)90019-XzbMath0669.03037MaRDI QIDQ1118588

Michael Makkai

Publication date: 1988

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

zbMATH Keywords

first-order logic; strong conceptual completeness; pretopos; condensity; ultracategories

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03B10: Classical first-order logic

Related Items

Syntactic characterizations of various classes of locally presentable categories, A theorem on Barr-exact categories, with an infinitary generalization, Stone duality for first order logic, Algebraic theories of quasivarieties, Descent and duality, Quasi-coproducts and accessible categories with wide pullbacks

Cites Work

• Representation of categories
• Stone duality for first order logic
• Conceptual completeness for first-order intuitionistic logic: An application of categorical 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
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• 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
• Accessible Categories: The Foundations of Categorical Model Theory
• A General Stone-Gelfand Duality
• Introduction to bicategories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item