Classification theory for accessible categories
Autoři | |
---|---|
Rok publikování | 2016 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | The Journal of Symbolic Logic |
Fakulta / Pracoviště MU | |
Citace | |
Doi | http://dx.doi.org/10.1017/jsl.2014.85 |
Obor | Obecná matematika |
Klíčová slova | abstract elementary class;accessible category;galois type |
Popis | 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. |
Související projekty: |