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 elementary classes and related topics (03C48) Abstract model theory (03C95) 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)

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

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)