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

abstract elementary classaccessible categorycategorical logicGalois typestameness

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Abstract model theory (03C95) 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

• 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
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Independence in finitary abstract elementary classes
• On combinatorial model categories

Cited in

(28)

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

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)