Classification theory for accessible categories
| Authors | |
|---|---|
| Year of publication | 2016 |
| Type | Article in Periodical |
| Magazine / Source | The Journal of Symbolic Logic |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1017/jsl.2014.85 |
| Field | General mathematics |
| Keywords | abstract elementary class;accessible category;galois type |
| Description | 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. |
| Related projects: |