Universal abstract elementary classes and locally multipresentable categories
DOI10.1090/proc/14326zbMath1439.03072arXiv1707.09005OpenAlexW2740011006WikidataQ129429004 ScholiaQ129429004MaRDI QIDQ4644724
Jiří Rosický, Sebastien Vasey, Michael J. Lieberman
Publication date: 8 January 2019
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1707.09005
intersectionsabstract elementary classesuniversal classesaccessible categorieslocally multipresentable categorieslocally polypresentable categories
Classification theory, stability, and related concepts in model theory (03C45) Accessible and locally presentable categories (18C35) Properties of classes of models (03C52) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Abstract elementary classes and related topics (03C48)
Related Items (7)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\mu\)-abstract elementary classes and other generalizations
- Infinitary stability theory
- Shelah's eventual categoricity conjecture in universal classes. II
- Model theoretic stability and categoricity for complete metric spaces
- Category-theoretic aspects of abstract elementary classes
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
- Abstract elementary classes and accessible categories
- Categoricity in homogeneous complete metric spaces
- Categories localement multipresentables
- Categories of embeddings
- Shelah's eventual categoricity conjecture in universal classes. I.
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES
- THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES
- Examples of non-locality
- Accessible Categories: The Foundations of Categorical Model Theory
- A presentation theorem for continuous logic and metric abstract elementary classes
- Categoricity and universal classes
This page was built for publication: Universal abstract elementary classes and locally multipresentable categories