Limits of abstract elementary classes

MaRDI QIDQ3456341zbMATH OpenFDO

Authors Jiří Rosický, M. Lieberman

Publication date 14 December 2015

Full work available at URL https://arxiv.org/abs/1504.04683, http://www.emis.de/journals/TAC/volumes/30/48/30-48abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

abstract elementary classaccessible category

Mathematics Subject Classification ID

Abstract model theory (03C95) Abstract elementary classes and related topics (03C48) Accessible and locally presentable categories (18C35)

Abstract: We show that the category of abstract elementary classes (AECs) and concrete functors is closed under constructions of "limit type," which generalizes the approach of Mariano, Zambrano and Villaveces away from the syntactically oriented framework of institutions. Moreover, we provide a broader view of this closure phenomenon, considering a variety of categories of accessible categories with additional structure, and relaxing the assumption that the morphisms be concrete functors.

Recommendations

• Metric abstract elementary classes as accessible categories
• Classification theory for accessible categories
• Category-theoretic aspects of abstract elementary classes
• Abstract elementary classes and accessible categories
• Universal abstract elementary classes and locally multipresentable categories

Cited in

(11)

• Formal model theory and higher topology
• Abstract elementary classes and accessible categories
• Limit models in metric abstract elementary classes: the categorical case
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• General facts on the Scott adjunction
• Abstract elementary classes with Löwenheim-Skolem number cofinal with
• Classification theory for abstract elementary classes
• Metric abstract elementary classes as accessible categories
• scientific article; zbMATH DE number 5263058 (Why is no real title available?)
• Structural logic and abstract elementary classes with intersections
• Classification theory for accessible categories

This page was built for publication: Limits of abstract elementary classes

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