{
  "id": "1509.04102",
  "version": "v1",
  "published": "2015-09-14T14:03:45.000Z",
  "updated": "2015-09-14T14:03:45.000Z",
  "title": "Shelah's eventual categoricity conjecture in tame AECs with primes",
  "authors": [
    "Sebastien Vasey"
  ],
  "comment": "20 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "Two new cases of Shelah's eventual categoricity conjecture are established: $\\mathbf{Theorem}$ Let $K$ be an AEC which is tame and has primes over sets of the form $M \\cup \\{a\\}$. If $K$ is categorical in a high-enough cardinal, then $K$ is categorical on a tail of cardinals. We do not assume amalgamation (however the hypotheses imply that there exists a cardinal $\\lambda$ so that $K_{\\ge \\lambda}$ has amalgamation). The result had previously been established when the stronger locality assumptions of full tameness and shortness are also required. An application of the theorem is that Shelah's categoricity conjecture holds in the context of homogeneous model theory: $\\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' \\ge \\min (\\lambda, \\beth_{(2^{|T|})^+})$.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2015-09-14T14:03:45.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C48",
      "03C45",
      "03C52",
      "03C55"
    ],
    "keywords": [
      "shelahs eventual categoricity conjecture",
      "tame aecs",
      "shelahs categoricity conjecture holds",
      "stronger locality assumptions",
      "high-enough cardinal"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 20,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2015arXiv150904102V"
    }
  }
}