Downward categoricity from a successor inside a good frame

DOI10.1016/J.APAL.2016.10.003MaRDI QIDQ730090zbMATH OpenOpenAlexFDO

Authors Sebastien Vasey

Publication date 23 December 2016

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

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

zbMATH Keywords

orthogonalityabstract elementary classesclassification theorygood framescategoricitytameness

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Set-theoretic model theory (03C55)

Abstract: We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals: $mathbfTheorem$ Let $K$ be an AEC and let $extLS(K)lelambda<heta$ be cardinals. If $K$ has a type-full good $[lambda,heta]$-frame and $K$ is categorical in both $lambda$ and $het{a}^{+}$, then $K$ is categorical in all $lambd{a}^{\prime }in[lambda,heta]$. We deduce improvements on the threshold of several categoricity transfers that do not mention frames. For example, the threshold in Shelah's transfer can be improved from $$ to $$ assuming that the AEC is $extLS(K)$-tame. The successor hypothesis can also be removed from Shelah's result by assuming in addition either that the AEC has primes over sets of the form $Mcupa$ or (using an unpublished claim of Shelah) that the weak generalized continuum hypothesis holds.

Recommendations

• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• Forking and superstability in tame AECs
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Saturation and solvability in abstract elementary classes with amalgamation
• Upward categoricity from a successor cardinal for tame abstract classes with amalgamation

Cites work

• scientific article; zbMATH DE number 1036692 (Why is no real title available?)
• scientific article; zbMATH DE number 1490113 (Why is no real title available?)
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• 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
• Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
• 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
• Classification theory for abstract elementary classes. Vol 2.
• Computing the number of types of infinite length
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Forking and superstability in tame AECs
• Forking in short and tame abstract elementary classes
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Independence, dimension and continuity in non-forking frames
• Infinitary stability theory
• Large cardinal axioms from tameness in AECs
• Non-forking frames in abstract elementary classes
• Saturation and solvability in abstract elementary classes with amalgamation
• 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
• 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 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

(16)

• Categoricity transfer in simple finitary abstract elementary classes
• Saturation and solvability in abstract elementary classes with amalgamation
• Shelah's eventual categoricity conjecture in universal classes. I.
• Good frames in the Hart-Shelah example
• Characterizing categoricity in several classes of modules
• Tameness from two successive good frames
• Building prime models in fully good abstract elementary classes
• Tameness and frames revisited
• Shelah's eventual categoricity conjecture in universal classes. II
• Superstability from categoricity in abstract elementary classes
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• The categoricity spectrum of large abstract elementary classes
• Abstract elementary classes stable in \(\aleph_{0}\)
• UNIVERSAL CLASSES NEAR ${\aleph _1}$
• Categoricity and multidimensional diagrams
• Forking and superstability in tame AECs

This page was built for publication: Downward categoricity from a successor inside a good frame

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