Classification theory for accessible categories

DOI10.1017/JSL.2014.85MaRDI QIDQ2805028zbMATH OpenOpenAlexWikidataFDO

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)

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

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)