Tameness, powerful images, and large cardinals
Logic
2020-03-13 v6 Category Theory
Abstract
We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [BU17], [BTR16], [Lie18], and [LR16].
Keywords
Cite
@article{arxiv.1902.10212,
title = {Tameness, powerful images, and large cardinals},
author = {Will Boney and Michael Lieberman},
journal= {arXiv preprint arXiv:1902.10212},
year = {2020}
}