Shelah's eventual categoricity conjecture in tame AECs with primes

Abstract

A new case of Shelah's eventual categoricity conjecture is established: $\mathbf{Theorem}$ Let $K$ be an AEC with amalgamation. Write $H_2:={\beth }_{{\left(2^{{\beth }_{{\left(2^{\text{LS}(K)}\right)}^{+}}}\right)}^{+}}$. Assume that $K$ is $H_2$-tame and $K_{\ge H_2}$ has primes over sets of the form $M\cup \{a\}$. If $K$ is categorical in some $\lambda >H_2$, then $K$ is categorical in all ${\lambda }^{\prime }\ge H_2$. The result had previously been established when the stronger locality assumptions of full tameness and shortness are also required. An application of the method of proof of the theorem is that Shelah's categoricity conjecture holds in the context of homogeneous model theory (this was known, but our proof gives new cases): $\mathbf{Theorem}$ Let $D$ be a homogeneous diagram in a first-order theory $T$. If $D$ is categorical in a $\lambda >|T|$, then $D$ is categorical in all ${\lambda }^{\prime }\ge \min (\lambda ,{\beth }_{(2^{|T|}{)}^{+}})$.

16 pages. Generalizes arXiv:1506.07024

References in corpus (7)

• Building independence relations in abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes: part I
• Shelah's eventual categoricity conjecture in universal classes. Part II
• Downward categoricity from a successor inside a good frame
• Chains of saturated models in AECs
• Superstability from categoricity in abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation

Cited by in corpus (2)

• Shelah's eventual categoricity conjecture in universal classes: part I
• Universal classes near ${\aleph }_1$