Strong conceptual completeness for first-order logic
From MaRDI portal
Publication:1118588
DOI10.1016/0168-0072(88)90019-XzbMath0669.03037MaRDI QIDQ1118588
Publication date: 1988
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items
Gabriel-Ulmer duality for topoi and its relation with site presentations, General facts on the Scott adjunction, Descent and duality, Model-theoretic imaginaries and coherent sheaves, Stone duality for first order logic, Universal models and definability, An embedding theorem for regular Mal'tsev categories, A theorem on Barr-exact categories, with an infinitary generalization, On stability of exactness properties under the pro-completion, Syntactic characterizations of various classes of locally presentable categories, Algebraic theories of quasivarieties, Embedding theorems for Janelidze's matrix conditions, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, 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