Saturation and solvability in abstract elementary classes with amalgamation

DOI10.1007/S00153-017-0561-8MaRDI QIDQ2402965zbMATH OpenOpenAlexFDO

Authors Sebastien Vasey

Publication date 15 September 2017

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

saturationsolvabilitysuperstabilityabstract elementary classescategoricityindiscernibles

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: $mathbfTheorem.$ Let $K$ be an abstract elementary class (AEC) with amalgamation and no maximal models. Let $lambda>extLS(K)$. If $K$ is categorical in $lambda$, then the model of cardinality $lambda$ is Galois-saturated. This answers a question asked independently by Baldwin and Shelah. We deduce several corollaries: $K$ has a unique limit model in each cardinal below $lambda$, (when $lambda$ is big-enough) $K$ is weakly tame below $lambda$, and the thresholds of several existing categoricity transfers can be improved. We also prove a downward transfer of solvability (a version of superstability introduced by Shelah): $mathbfCorollary.$ Let $K$ be an AEC with amalgamation and no maximal models. Let $lambda>mu>extLS(K)$. If $K$ is solvable in $lambda$, then $K$ is solvable in $mu$.

Recommendations

• Chains of saturated models in AECs
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• 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

Cites work

• scientific article; zbMATH DE number 4037830 (Why is no real title available?)
• scientific article; zbMATH DE number 1036692 (Why is no real title available?)
• scientific article; zbMATH DE number 1827965 (Why is no real title available?)
• A survey on tame abstract elementary classes
• Building independence relations in abstract elementary classes
• Canonical forking in AECs
• Categoricity
• Categoricity for abstract classes with amalgamation
• Categoricity in Power
• Categoricity in abstract elementary classes with no maximal models
• Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• Categoricity, amalgamation, and tameness
• Chains of saturated models in AECs
• Classification theory and the number of non-isomorphic models.
• Classification theory for abstract elementary classes
• Downward categoricity from a successor inside a good frame
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• Forking and superstability in tame AECs
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Infinitary stability theory
• Set theory. An introduction to independence proofs
• 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 from large cardinal axioms
• Toward categoricity for classes with no maximal models
• Uniqueness of limit models in classes with amalgamation

Cited in

(19)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Downward categoricity from a successor inside a good frame
• The small index property for homogeneous models in AEC's
• Categoricity and multidimensional diagrams
• Building prime models in fully good abstract elementary classes
• On the uniqueness property of forking in abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Weak saturation and weak amalgamation property
• Tameness from two successive good frames
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• Good frames in the Hart-Shelah example
• The categoricity spectrum of large abstract elementary classes
• Categoricity in abstract elementary classes with no maximal models
• Uniqueness of limit models in classes with amalgamation
• Categoricity transfer in simple finitary abstract elementary classes
• Axiomatizing AECs and applications
• Toward a stability theory of tame abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes. I.
• STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

This page was built for publication: Saturation and solvability in abstract elementary classes with amalgamation

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