Forking and superstability in tame AECs

DOI10.1017/JSL.2015.51zbMATH Open1431.03049arXiv1405.7443OpenAlexW3104393925MaRDI QIDQ2805041FDOQ2805041

Sebastien Vasey

Publication date: 9 May 2016

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

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.

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

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

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)

Cites Work

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

Cited In (25)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Downward categoricity from a successor inside a good frame
• Categoricity and multidimensional diagrams
• \(\mu\)-abstract elementary classes and other generalizations
• Canonical forking in AECs
• Building independence relations in abstract elementary classes
• Building prime models in fully good abstract elementary classes
• Chains of saturated models in AECs
• 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
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• TAMENESS AND FRAMES REVISITED
• Saturation and solvability in abstract elementary classes with amalgamation
• Superstability from categoricity in abstract elementary classes
• Superstability and symmetry
• Good frames in the Hart-Shelah example
• Non-forking w-good frames
• 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
• Toward a stability theory of tame abstract elementary classes
• Limit models in strictly stable 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: 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)