Galois-stability for Tame abstract elementary classes

Journal of Mathematical Logic 6 (01):25-48 (2006)
  Copy   BIBTEX

Abstract

We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper, we explore stability results in this new context. We assume that [Formula: see text] is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include:. Theorem 0.1. Suppose that [Formula: see text] is not only tame, but [Formula: see text]-tame. If [Formula: see text] and [Formula: see text] is Galois stable in μ, then [Formula: see text], where [Formula: see text] is a relative of κ from first order logic. [Formula: see text] is the Hanf number of the class [Formula: see text]. It is known that [Formula: see text]. The theorem generalizes a result from [17]. It is used to prove both the existence of Morley sequences for non-splitting and the following initial step towards a stability spectrum theorem for tame classes:. Theorem 0.2. If [Formula: see text] is Galois-stable in some [Formula: see text], then [Formula: see text] is stable in every κ with κμ=κ. For example, under GCH we have that [Formula: see text] Galois-stable in μ implies that [Formula: see text] is Galois-stable in μ+n for all n < ω.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Toward a stability theory of tame abstract elementary classes.Sebastien Vasey - 2018 - Journal of Mathematical Logic 18 (2):1850009.
The logic of correct models.J. P. Aguilera & F. Pakhomov - forthcoming - Journal of Mathematical Logic.
Plus ultra.Frank O. Wagner - 2015 - Journal of Mathematical Logic 15 (2):1550008.
The mouse set theorem just past projective.Mitch Rudominer - 2025 - Journal of Mathematical Logic 25 (2).
Ordinal definability and combinatorics of equivalence relations.William Chan - 2019 - Journal of Mathematical Logic 19 (2):1950009.
The equivalence of Axiom (∗)+ and Axiom (∗)++.W. Hugh Woodin - forthcoming - Journal of Mathematical Logic.

Analytics

Added to PP
2012-09-02

Downloads
51 (#479,716)

6 months
11 (#343,540)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shelah's eventual categoricity conjecture in universal classes: Part I.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (9):1609-1642.
Forking and superstability in Tame aecs.Sebastien Vasey - 2016 - Journal of Symbolic Logic 81 (1):357-383.
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.
Canonical forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.

View all 50 citations / Add more citations