Building independence relations in abstract elementary classes

DOI10.1016/J.APAL.2016.04.005zbMATH Open1352.03045arXiv1503.01366OpenAlexW2342532483MaRDI QIDQ306573FDOQ306573

Authors: Sebastien Vasey 

Publication date: 31 August 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. $mathbfTheorem$ (Superstability from categoricity) Let $K$ be a $(<kappa)$-tame AEC with amalgamation. If $$ and $K$ is categorical in a $lambda>kappa$, then: * $K$ is stable in all cardinals $gekappa$. * $K$ is categorical in $kappa$. * There is a type-full good $lambda$-frame with underlying class $K_{l}ambda$. Under more locality conditions, we prove that the frame extends to a global independence notion (for types of arbitrary length). $mathbfTheorem$ (A global independence notion from categoricity) Let $K$ be a densely type-local, fully tame and type short AEC with amalgamation. If $K$ is categorical in unboundedly many cardinals, then there exists $lambdageextLS(K)$ such that $K_{gelambda}$ admits a global independence relation with the properties of forking in a superstable first-order theory. As an application, we deduce (modulo an unproven claim of Shelah) that Shelah's eventual categoricity conjecture for AECs (without assuming categoricity in a successor cardinal) follows from the weak generalized continuum hypothesis and a large cardinal axiom. $extbfCorollary$ Assume $2^{lambda}<2^{lambd{a}^{+}}$ for all cardinals $lambda$, as well as an unpublished claim of Shelah. If there exists a proper class of strongly compact cardinals, then any AEC categorical in some high-enough cardinal is categorical in all high-enough cardinals.

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

Recommendations

• Independence in finitary abstract elementary classes
• Categoricity in abstract elementary classes with no maximal models
• Canonical forking in AECs
• Forking and superstability in tame AECs
• A survey on tame abstract elementary classes

zbMATH Keywords

abstract elementary classescategoricityindependence relations

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

• Classification theory and the number of non-isomorphic models.
• An introduction to forking
• Categoricity for abstract classes with amalgamation
• Independence in finitary abstract elementary classes
• 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?)
• Title not available (Why is that?)
• TAMENESS FROM LARGE CARDINAL AXIOMS
• Chains of saturated models 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
• A topology for Galois types in abstract elementary classes
• A rank for the class of elementary submodels of a superstable homogeneous model
• Tameness and extending frames
• Symmetry in abstract elementary classes with amalgamation
• Forking in short and tame abstract elementary classes
• Independence, dimension and continuity in non-forking frames
• Categoricity of an abstract elementary class in two successive cardinals
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• Shelah's eventual categoricity conjecture in universal classes. I.
• Examples of non-locality
• Simple homogeneous models
• Shelah's eventual categoricity conjecture in universal classes. II
• Superstability from categoricity in abstract elementary classes
• TAMENESS AND FRAMES REVISITED
• Upward stability transfer for tame abstract elementary classes
• Tameness, uniqueness triples and amalgamation

Cited In (33)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Universal abstract elementary classes and locally multipresentable categories
• Downward categoricity from a successor inside a good frame
• Categoricity and multidimensional diagrams
• \(\mu\)-abstract elementary classes and other generalizations
• Canonical forking in AECs
• Infinitary stability theory
• 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 independence from the categorical point of view
• Forking in short and tame abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Tameness from two successive good frames
• TAMENESS AND FRAMES REVISITED
• Saturation and solvability in abstract elementary classes with amalgamation
• Shelah's eventual categoricity conjecture in universal classes. II
• Simple-like independence relations in abstract elementary classes
• Abstract elementary classes stable in \(\aleph_{0}\)
• Superstability and symmetry
• Tameness, uniqueness triples and amalgamation
• Good frames in the Hart-Shelah example
• Title not available (Why is that?)
• The categoricity spectrum of large abstract elementary classes
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• Independence in finitary abstract elementary classes
• Categoricity in multiuniversal classes
• 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
• CELLULAR CATEGORIES AND STABLE INDEPENDENCE

This page was built for publication: Building independence relations in abstract elementary classes

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