Shelah's eventual categoricity conjecture in universal classes. II

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

Authors: 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

Recommendations

• Shelah's eventual categoricity conjecture in universal classes. I.
• UNIVERSAL CLASSES NEAR ${\aleph _1}$
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• Categoricity and universal classes
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes

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

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

Cited In (24)

• 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
• Title not available (Why is that?)
• Building independence relations in abstract elementary classes
• Shelah's categoricity conjecture from a successor for tame 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
• 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
• Tameness and frames revisited
• 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)