Shelah's eventual categoricity conjecture in universal classes. II

DOI10.1007/S00029-016-0296-0zbMATH Open1442.03016arXiv1602.02633OpenAlexW4230792980WikidataQ123188911 ScholiaQ123188911MaRDI QIDQ522672FDOQ522672

Sebastien Vasey

Publication date: 18 April 2017

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: We prove that a universal class categorical in a high-enough cardinal is categorical on a tail of cardinals. As opposed to other results in the literature, we work in ZFC, do not require the categoricity cardinal to be a successor, do not assume amalgamation, and do not use large cardinals. Moreover we give an explicit bound on the "high-enough" threshold: $mathbfTheorem$ Let $psi$ be a universal $mathbb{L}_{omeg{a}_1,omega}$ sentence. If $psi$ is categorical in some $$, then $psi$ is categorical in all $$. As a byproduct of the proof, we show that a conjecture of Grossberg holds in universal classes: $mathbfCorollary$ Let $psi$ be a universal $mathbb{L}_{omeg{a}_1,omega}$ sentence that is categorical in some $$, then the class of models of $psi$ has the amalgamation property for models of size at least $$. We also establish generalizations of these two results to uncountable languages. As part of the argument, we develop machinery to transfer model-theoretic properties between two different classes satisfying a compatibility condition. This is used as a bridge between Shelah's milestone study of universal classes (which we use extensively) and a categoricity transfer theorem of the author for abstract elementary classes that have amalgamation, are tame, and have primes over sets of the form $Mcupa$.

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

zbMATH Keywords

independencesmoothnessuniversal classesabstract elementary classesclassification theorycategoricitytamenessprime models

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Large cardinals (03E55)

Cites Work

• Classification theory and the number of non-isomorphic models.
• Categoricity for abstract classes with amalgamation
• Classification theory for abstract elementary classes. Vol 2.
• Canonical forking in AECs
• Infinitary stability theory
• Building independence relations in abstract elementary classes
• Title not available (Why is that?)
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• TAMENESS FROM LARGE CARDINAL AXIOMS
• Chains of saturated models in AECs
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Title not available (Why is that?)
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Toward categoricity for classes with no maximal models
• THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES
• On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
• Title not available (Why is that?)
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• Abstract elementary classes and infinitary logics
• Shelah's eventual categoricity conjecture in universal classes. I.
• Title not available (Why is that?)
• Universal classes in infinitary languages
• Categoricity in Power
• Downward categoricity from a successor inside a good frame

Cited In (22)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Universal abstract elementary classes and locally multipresentable categories
• Downward categoricity from a successor inside a good frame
• Categoricity and multidimensional diagrams
• Building independence relations in abstract elementary classes
• On the uniqueness property of forking in abstract elementary classes
• Forking independence from the categorical point of view
• Symmetry in abstract elementary classes with amalgamation
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• Tameness from two successive good frames
• TAMENESS AND FRAMES REVISITED
• Categoricity and universal classes
• Saturation and solvability in abstract elementary classes with amalgamation
• Superstability from categoricity in abstract elementary classes
• Algebraic description of limit models in classes of abelian groups
• The categoricity spectrum of large abstract elementary classes
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• Structural logic and abstract elementary classes with intersections
• Categoricity in multiuniversal classes
• Toward a stability theory of tame abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes. I.
• UNIVERSAL CLASSES NEAR ${\aleph _1}$

This page was built for publication: Shelah's eventual categoricity conjecture in universal classes. II

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