Downward categoricity from a successor inside a good frame

DOI10.1016/J.APAL.2016.10.003zbMATH Open1422.03076arXiv1510.03780OpenAlexW2340268380MaRDI QIDQ730090FDOQ730090

Authors: Sebastien Vasey 

Publication date: 23 December 2016

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

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.

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

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

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)

Cites Work

• Classification theory and the number of non-isomorphic models.
• Categoricity for abstract classes with amalgamation
• Classification theory for abstract elementary classes. Vol 2.
• 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?)
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Tameness from large cardinal axioms
• Chains of saturated models in AECs
• Large cardinal axioms from tameness 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
• Computing the number of types of infinite length
• 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
• 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
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• Shelah's eventual categoricity conjecture in universal classes. I.
• 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
• Superstability and symmetry
• Title not available (Why is that?)
• Symmetry and the union of saturated models in superstable abstract elementary classes
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• Saturation and solvability in abstract elementary classes with amalgamation
• Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models

Cited In (16)

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

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)