Abstract
We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions. For instance, we show that if κ is an uncountable cardinal such that μω <κ for every μ<κ and every AEC with Löwenheim-Skolem number less than κ is <κ-tame, then κ is almost strongly compact. This is done by isolating a class of AECs that exhibits tameness exactly when sufficiently complete ultrafilters exist.
Original language | English |
---|---|
Pages (from-to) | 4517-4532 |
Number of pages | 16 |
Journal | Proceedings of the American Mathematical Society |
Volume | 145 |
Issue number | 10 |
DOIs | |
State | Published - 2017 |
Externally published | Yes |