Building independence relations in abstract elementary classes

DOI10.1016/J.APAL.2016.04.005MaRDI QIDQ306573zbMATH OpenOpenAlexFDO

Authors Sebastien Vasey

Publication date 31 August 2016

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 1490113 (Why is no real title available?)
• scientific article; zbMATH DE number 1827965 (Why is no real title available?)
• A rank for the class of elementary submodels of a superstable homogeneous model
• A topology for Galois types in abstract elementary classes
• An introduction to forking
• Building independence relations in abstract elementary classes
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Canonical forking in AECs
• Categoricity
• Categoricity for abstract classes with amalgamation
• Categoricity in abstract elementary classes with no maximal models
• Categoricity of an abstract elementary class in two successive cardinals
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• Chains of saturated models in AECs
• Classification theory and the number of non-isomorphic models.
• Classification theory for abstract elementary classes
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• Examples of non-locality
• Forking and superstability in tame AECs
• Forking in short and tame abstract elementary classes
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Independence in finitary abstract elementary classes
• Independence, dimension and continuity in non-forking frames
• Infinitary stability theory
• Non-forking frames in abstract elementary classes
• 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
• Simple homogeneous models
• Superstability from categoricity in abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Tameness and extending frames
• Tameness and frames revisited
• Tameness from large cardinal axioms
• Tameness, uniqueness triples and amalgamation
• Toward categoricity for classes with no maximal models
• Uniqueness of limit models in classes with amalgamation
• Upward stability transfer for tame abstract elementary classes

Cited in

(34)

• CELLULAR CATEGORIES AND STABLE INDEPENDENCE
• Saturation and solvability in abstract elementary classes with amalgamation
• Chains of saturated models in AECs
• scientific article; zbMATH DE number 5263058 (Why is no real title available?)
• \(\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
• Infinitary stability theory
• Downward categoricity from a successor inside a good frame
• Simple-like independence relations in abstract elementary classes
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Building prime models in fully good abstract elementary classes
• Tameness and frames revisited
• Shelah's eventual categoricity conjecture in universal classes. II
• Building independence relations in abstract elementary classes
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• Independence in finitary abstract elementary classes
• The categoricity spectrum of large abstract elementary classes
• Universal abstract elementary classes and locally multipresentable categories
• Forking independence from the categorical point of view
• Abstract elementary classes stable in \(\aleph_{0}\)
• Independence, dimension and continuity in non-forking frames
• 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
• Categoricity in multiuniversal classes
• Limit models in strictly stable abstract elementary classes
• STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

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)