EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES

DOI10.1017/JSL.2017.21MaRDI QIDQ4600459zbMATH OpenOpenAlexFDO

Authors Rami Grossberg, Sebastien Vasey

Publication date 11 January 2018

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

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

zbMATH Keywords

abstract elementary classesclassification theorygood frameindependencelimit modelsaturatednesssolvabilitysuperlimitsuperstabilitytameness

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)

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.

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

Cites work

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

Cited in

(31)

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

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)