Classification theory for accessible categories

DOI10.1017/JSL.2014.85zbMATH Open1403.03058arXiv1404.2528OpenAlexW2962934860WikidataQ115942305 ScholiaQ115942305MaRDI QIDQ2805028FDOQ2805028

Jiří Rosický, M. Lieberman

Publication date: 9 May 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing a purely language-free characterization of AECs, and highlights the precise role played by the coherence axiom.

Full work available at URL: https://arxiv.org/abs/1404.2528

Recommendations

• Category-theoretic aspects of abstract elementary classes
• Abstract elementary classes and accessible categories
• Metric abstract elementary classes as accessible categories
• Limits of abstract elementary classes
• \(\mu\)-abstract elementary classes and other generalizations

zbMATH Keywords

categorical logicabstract elementary classtamenessaccessible categoryGalois types

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract model theory (03C95) Abstract elementary classes and related topics (03C48) Accessible and locally presentable categories (18C35)

Cites Work

• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Concrete categories and infinitary languages
• Independence in finitary abstract elementary classes
• Categoricity
• Category-theoretic aspects of abstract elementary classes
• Abstract elementary classes and accessible categories
• Abstract elementary classes and infinitary logics
• On combinatorial model categories

Cited In (22)

• Minimal accessible categories
• Universal abstract elementary classes and locally multipresentable categories
• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• Formal model theory and higher topology
• Accessible aspects of 2-category theory
• \(\mu\)-abstract elementary classes and other generalizations
• Large cardinal axioms from tameness in AECs
• METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES
• Tameness, powerful images, and large cardinals
• Sizes and filtrations in accessible categories
• Towards higher topology
• Internal sizes in \(\mu\)-abstract elementary classes
• The categoricity spectrum of large abstract elementary classes
• Accessible images revisited
• Structure of accessibility classes
• CLASSIFYING SPACES AND THE LASCAR GROUP
• Accessible Categories: The Foundations of Categorical Model Theory
• Shelah's eventual categoricity conjecture in universal classes. I.
• A category-theoretic characterization of almost measurable cardinals
• THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES
• Tameness in generalized metric structures
• CELLULAR CATEGORIES AND STABLE INDEPENDENCE

This page was built for publication: Classification theory for accessible categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805028)