Classification theory for accessible categories

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

Authors Jiří Rosický, M. Lieberman 

Publication date 9 May 2016

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

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

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)

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.

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

Cites Work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Abstract elementary classes and accessible categories
• Abstract elementary classes and infinitary logics
• Accessible Categories: The Foundations of Categorical Model Theory
• Categoricity
• Category-theoretic aspects of abstract elementary classes
• Concrete categories and infinitary languages
• Independence in finitary abstract elementary classes
• On combinatorial model categories

Cited In (25)

• 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
• The Kim-Pillay theorem for abstract elementary categories
• Large cardinal axioms from tameness in AECs
• Abstract elementary classes and accessible categories
• Hanf numbers via accessible images
• Tameness, powerful images, and large cardinals
• Sizes and filtrations in accessible categories
• Towards higher topology
• Internal sizes in \(\mu\)-abstract elementary classes
• Metric abstract elementary classes as accessible categories
• The categoricity spectrum of large abstract elementary classes
• Accessible images revisited
• Structure of accessibility classes
• Limits of abstract elementary 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
• 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)