EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES

DOI10.1017/JSL.2017.21zbMATH Open1387.03030arXiv1507.04223OpenAlexW2963191261MaRDI QIDQ4600459FDOQ4600459

Authors: Rami Grossberg, Sebastien Vasey 

Publication date: 11 January 2018

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: In the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability. Under the assumption that the class is tame and stable, we show that (asymptotically) no long splitting chains implies solvability and uniqueness of limit models implies no long splitting chains. Using known implications, we can then conclude that all the previously-mentioned definitions (and more) are equivalent: $mathbfCorollary$ Let $K$ be a tame AEC with a monster model. Assume that $K$ is stable in a proper class of cardinals. The following are equivalent: 1) For all high-enough $lambda$, $K$ has no long splitting chains. 2) For all high-enough $lambda$, there exists a good $lambda$-frame on a skeleton of $K_{l}ambda$. 3) For all high-enough $lambda$, $K$ has a unique limit model of cardinality $lambda$. 4) For all high-enough $lambda$, $K$ has a superlimit model of cardinality $lambda$. 5) For all high-enough $lambda$, the union of any increasing chain of $lambda$-saturated models is $lambda$-saturated. 6) There exists $mu$ such that for all high-enough $lambda$, $K$ is $(lambda,mu)$-solvable. This gives evidence that there is a clear notion of superstability in the framework of tame AECs with a monster model.

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

Recommendations

• Chains of saturated models in AECs
• When a first order \(T\) has limit models
• Abstract elementary classes stable in \(\aleph_{0}\)
• Toward a stability theory of tame abstract elementary classes
• Infinitary stability theory
• scientific article; zbMATH DE number 175748
• Superstability in simple finitary AECs
• Saturation and solvability in abstract elementary classes with amalgamation
• A survey on tame abstract elementary classes
• Potential isomorphism of elementary substructures of a strictly stable homogeneous model

zbMATH Keywords

independencesolvabilitysuperstabilityabstract elementary classesclassification theorylimit modeltamenessgood framesuperlimitsaturatedness

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
• Forking and superstability in tame AECs
• Infinitary stability theory
• Building independence relations in abstract elementary classes
• Categoricity
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Classification theory for abstract elementary classes
• Title not available (Why is that?)
• Tameness from large cardinal axioms
• Chains of saturated models in AECs
• Large cardinal axioms from tameness in AECs
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Toward categoricity for classes with no maximal models
• Non-forking frames in abstract elementary classes
• Categoricity in abstract elementary classes with no maximal models
• Uniqueness of limit models in classes with amalgamation
• Tameness and extending frames
• Symmetry in abstract elementary classes with amalgamation
• Forking in short and tame abstract elementary classes
• Finite diagrams stable in power
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• Shelah's eventual categoricity conjecture in universal classes. I.
• Shelah's eventual categoricity conjecture in universal classes. II
• Superstability from categoricity in abstract elementary classes
• Superstability and symmetry
• Symmetry and the union of saturated models in superstable abstract elementary classes
• When a first order \(T\) has limit models
• A non structure theorem for an infinitary theory which has the unsuperstability property
• Rank functions and partial stability spectra for tame abstract elementary classes
• Saturation and solvability in abstract elementary classes with amalgamation
• Abstract elementary classes stable in \(\aleph_{0}\)
• Toward a stability theory of tame abstract elementary classes
• Rich models
• A primer of simple theories
• Transfering saturation, the finite cover property, and stability
• A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property

Cited In (25)

• On superstability in the class of flat modules and perfect rings
• Downward categoricity from a successor inside a good frame
• The Hanf number in the strictly stable case
• \(\mu\)-abstract elementary classes and other generalizations
• Chains of saturated models in AECs
• On universal modules with pure embeddings
• On the uniqueness property of forking in abstract elementary classes
• Forking in short and tame abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Saturation and solvability in abstract elementary classes with amalgamation
• Superstability from categoricity in abstract elementary classes
• Simple-like independence relations in abstract elementary classes
• Abstract elementary classes stable in \(\aleph_{0}\)
• Superstability and symmetry
• Superstability, Noetherian rings and pure-semisimple rings
• Good frames in the Hart-Shelah example
• Algebraic description of limit models in classes of abelian groups
• The categoricity spectrum of large abstract elementary classes
• A note on torsion modules with pure embeddings
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• Toward a stability theory of tame abstract elementary classes
• Limit models in strictly stable abstract elementary classes
• SOME STABLE NON-ELEMENTARY CLASSES OF MODULES
• Title not available (Why is that?)
• STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

This page was built for publication: EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES

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