Tameness from two successive good frames

DOI10.1007/S11856-020-1965-4MaRDI QIDQ2303697zbMATH OpenOpenAlexWikidataFDO

Authors Sebastien Vasey

Publication date 4 March 2020

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48)

Abstract: We show, assuming a mild set-theoretic hypothesis, that if an abstract elementary class (AEC) has a superstable-like forking notion for models of cardinality $lambda$ and a superstable-like forking notion for models of cardinality $lambd{a}^{+}$, then orbital types over models of cardinality $lambd{a}^{+}$ are determined by their restrictions to submodels of cardinality $lambda$. By a superstable-like forking notion, we mean here a good frame, a central concept of Shelah's book on AECs. It is known that locality of orbital types together with the existence of a superstable-like notion for models of cardinality $lambda$ implies the existence of a superstable-like notion for models of cardinality $lambd{a}^{+}$, but here we prove the converse. An immediate consequence is that forking in $lambd{a}^{+}$ can be described in terms of forking in $lambda$.

Recommendations

• Forking and superstability in tame AECs
• Tameness and extending frames
• Tameness and frames revisited
• Non-forking frames in abstract elementary classes
• Abstract elementary classes stable in \(\aleph_{0}\)

Cites work

• A survey on tame abstract elementary classes
• A theorem on Barr-exact categories, with an infinitary generalization
• Building independence relations in abstract elementary classes
• Categoricity
• Categoricity for abstract classes with amalgamation
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• 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}\)
• Classification theory for abstract elementary classes
• Classification theory for abstract elementary classes. Vol 2.
• Downward categoricity from a successor inside a good frame
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Good frames in the Hart-Shelah example
• scientific article; zbMATH DE number 3882412 (Why is no real title available?)
• scientific article; zbMATH DE number 4037830 (Why is no real title available?)
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• Infinitary stability theory
• Large cardinal axioms from tameness in AECs
• Non-forking frames in abstract elementary classes
• On the uniqueness property of forking 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
• 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
• The categoricity spectrum of large abstract elementary classes
• Uniqueness of limit models in classes with amalgamation
• When a first order T has limit models

Cited in

(9)

• Non-forking w-good frames
• The categoricity spectrum of large abstract elementary classes
• Abstract elementary classes stable in \(\aleph_{0}\)
• Forking and superstability in tame AECs
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• Tameness and extending frames
• Forking in short and tame abstract elementary classes
• Tameness and frames revisited
• Tameness, uniqueness triples and amalgamation

This page was built for publication: Tameness from two successive good frames

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