Syntactic characterization of closure under connected limits
From MaRDI portal
Recommendations
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
- Complete Theories with Finitely Many Countable Models. I
- scientific article; zbMATH DE number 57854
- scientific article; zbMATH DE number 2188548
- Syntactic characterizations of properties of classifying toposes
Cites work
- scientific article; zbMATH DE number 4112085 (Why is no real title available?)
- scientific article; zbMATH DE number 3654118 (Why is no real title available?)
- scientific article; zbMATH DE number 1354154 (Why is no real title available?)
- Accessible Categories: The Foundations of Categorical Model Theory
- Categories localement multipresentables
- Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Model theory
- On full embeddings. I
- On the fullness of certain functors
- Preservation and Interpolation Through Binary Relations Between Theories
- Some spectra relative to functors
- The decision problem for some classes of sentences without quantifiers
- Why Horn formulas matter in computer science: initial structures and generic examples
Cited in
(6)- Syntactic characterizations of properties of classifying toposes
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
- Quasi-coproducts and accessible categories with wide pullbacks
- On abstract data types presented by multiequations
- scientific article; zbMATH DE number 440122 (Why is no real title available?)
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
This page was built for publication: Syntactic characterization of closure under connected limits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1210580)
