Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Classification theory for accessible categories
(Submitted on 9 Apr 2014 (v1), revised 27 Jul 2014 (this version, v3), latest version 24 Nov 2014 (v4))
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.
Submission history
From: Michael Lieberman [view email][v1] Wed, 9 Apr 2014 15:59:22 GMT (15kb)
[v2] Thu, 10 Apr 2014 16:04:11 GMT (15kb)
[v3] Sun, 27 Jul 2014 20:10:30 GMT (15kb)
[v4] Mon, 24 Nov 2014 09:57:29 GMT (17kb)
Link back to: arXiv, form interface, contact.