Large cardinal axioms from tameness in AECs

DOI10.1090/proc/13555zbMath1423.03124arXiv1509.01191OpenAlexW2963178862MaRDI QIDQ5351810

Spencer Unger, Will Boney

Publication date: 30 August 2017

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.01191

Mathematics Subject Classification ID

Large cardinals (03E55) Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Abstract elementary classes and related topics (03C48)

Related Items

Shelah's eventual categoricity conjecture in universal classes. I., \(\mu\)-abstract elementary classes and other generalizations, Toward a stability theory of tame abstract elementary classes, The Hart-Shelah example, in stronger logics, A lower bound for the Hanf number for joint embedding, Accessible images revisited, Tameness, uniqueness triples and amalgamation, Maximal models up to the first measurable in ZFC, EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES, Tameness in generalized metric structures, Structural logic and abstract elementary classes with intersections, A category-theoretic characterization of almost measurable cardinals, Forking in short and tame abstract elementary classes, Downward categoricity from a successor inside a good frame, Tameness from two successive good frames, Tameness, powerful images, and large cardinals, Categoricity in multiuniversal classes

Cites Work

• Category-theoretic aspects of abstract elementary classes
• Abstract elementary classes and accessible categories
• Categoricity for abstract classes with amalgamation
• CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES
• Accessible images revisited
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Examples of non-locality
• Accessible Categories: The Foundations of Categorical Model Theory
• TAMENESS FROM LARGE CARDINAL AXIOMS
• Group radicals and strongly compact cardinals
• Categoricity in Power
• Unnamed Item
• Unnamed Item