Shelah's eventual categoricity conjecture in tame AECs with primes

DOI10.1002/MALQ.201500068MaRDI QIDQ6265448arXivWikidataFDO

Authors Sebastien Vasey

Publication date 14 September 2015

Published in arXiv

Full work available at URL https://doi.org/10.1002/MALQ.201500068

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48)

arXiv classification

math.LO

Abstract: A new case of Shelah's eventual categoricity conjecture is established: $mathbfTheorem$ Let $K$ be an AEC with amalgamation. Write $$. Assume that $K$ is $H_2$-tame and $K_{ge{H}_2}$ has primes over sets of the form $Mcupa$. If $K$ is categorical in some $lambda>H_2$, then $K$ is categorical in all $lambd{a}^{\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): $mathbfTheorem$ 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 $$.

This page was built for publication: Shelah's eventual categoricity conjecture in tame AECs with primes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6265448)