Forking and superstability in tame AECs

DOI10.1017/JSL.2015.51MaRDI QIDQ2805041zbMATH OpenOpenAlexFDO

Authors Sebastien Vasey

Publication date 9 May 2016

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

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

zbMATH Keywords

independencestabilitysuperstabilityabstract elementary classesclassification theoryforkinggood framesstability spectrumcategoricitytameness

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)

Abstract: We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a good frame in ZFC. We show that we already obtain a well-behaved independence relation assuming only a superstability-like hypothesis instead of categoricity. These methods are applied to obtain an upward stability transfer theorem from categoricity and tameness, as well as new conditions for uniqueness of limit models.

Recommendations

• Tameness from two successive good frames
• Tameness and extending frames
• A survey on tame abstract elementary classes
• Tameness, uniqueness triples and amalgamation
• Downward categoricity from a successor inside a good frame

Cites work

• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Categoricity
• Categoricity for abstract classes with amalgamation
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Categoricity in abstract elementary classes with no maximal models
• Categoricity of an abstract elementary class in two successive cardinals
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Non-forking frames in abstract elementary classes
• Tameness and extending frames
• Toward categoricity for classes with no maximal models
• Upward stability transfer for tame abstract elementary classes

Cited in

(29)

• Saturation and solvability in abstract elementary classes with amalgamation
• Chains of saturated models in AECs
• \(\mu\)-abstract elementary classes and other generalizations
• Shelah's eventual categoricity conjecture in universal classes. I.
• Good frames in the Hart-Shelah example
• Forking in short and tame abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Tameness from two successive good frames
• Canonical forking in AECs
• Downward categoricity from a successor inside a good frame
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Building prime models in fully good abstract elementary classes
• Tameness and frames revisited
• Superstability from categoricity in abstract elementary classes
• A survey on tame abstract elementary classes
• Building independence relations in abstract elementary classes
• Non-forking w-good frames
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• The categoricity spectrum of large abstract elementary classes
• Categoricity and multidimensional diagrams
• Toward a stability theory of tame abstract elementary classes
• Superstability and symmetry
• Tameness, uniqueness triples and amalgamation
• On the uniqueness property of forking in abstract elementary classes
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• Algebraic description of limit models in classes of abelian groups
• Tameness and extending frames
• Limit models in strictly stable abstract elementary classes
• STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

This page was built for publication: Forking and superstability in tame AECs

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