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 < ω. (shrink)

A ternary relation [Formula: see text] between subsets of the big model of a complete first-order theory T is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth studying. The main application is a better understanding of thorn-forking, which turns out to be (...) closely related to modular pairs in the lattice of algebraically closed sets. (shrink)

A ternary relation [Formula: see text] between subsets of the big model of a complete first-order theory T is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth studying. The main application is a better understanding of thorn-forking, which turns out to be (...) closely related to modular pairs in the lattice of algebraically closed sets. (shrink)

We prove that from categoricity in λ+ we can get categoricity in all cardinals ≥ λ+ in a χ-tame abstract elementary classe [Formula: see text] which has arbitrarily large models and satisfies the amalgamation and joint embedding properties, provided [Formula: see text] and λ ≥ χ. For the missing case when [Formula: see text], we prove that [Formula: see text] is totally categorical provided that [Formula: see text] is categorical in [Formula: see text] and [Formula: see text].

In the paper “Categoricity in abstract elementary classes with no maximal models”, we address gaps in Saharon Shelah and Andrés Villavecesʼ proof in [4] of the uniqueness of limit models of cardinality μ in λ-categorical abstract elementary classes with no maximal models, where λ is some cardinal larger than μ. Both [4] and [5] employ set theoretic assumptions, namely GCH and Φμ+μ+).Recently, Tapani Hyttinen pointed out a problem in an early draft of [3] to Villaveces. This problem stems from the (...) proof in Shelah and Villavecesʼ [4] that reduced towers are continuous. Residues of this problem also infect the proof of Proposition II.7.2 in VanDieren [5]. We respond to the issues in Shelah and Villaveces [4] and VanDieren [5] with alternative proofs under the strengthened assumption that the abstract elementary class is categorical in μ+. (shrink)

The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assumption that the subclass of amalgamation bases is closed under unions of bounded, -increasing chains.

We introduce a new device in the study of abstract elementary classes : Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}. We show:Theorem 0.1 An AEC K is fully \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa = \beth _{\kappa } > \text {LS}$$\end{document}. If K is Galois stable, then the (...) class of κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Galois saturated models of K admits an independence notion \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document}-coheir) which, except perhaps for extension, has the properties of forking in a first-order stable theory. (shrink)

We prove the following main theorem: Let be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality μ. Let μ be a cardinal above the the Löwenheim‐Skolem number of the class. If is μ‐Galois‐stable, has no μ‐Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two ‐limits over M, for, are isomorphic over M.

We combine two notions in AECs, tameness and good λ-frames, and show that they together give a very well-behaved nonforking notion in all cardinalities. This helps to fill a longstanding gap in classification theory of tame AECs and increases the applicability of frames. Along the way, we prove a complete stability transfer theorem and uniqueness of limit models in these AECs.

The stability theory of first order theories was initiated by Saharon Shelah in 1969. The classification of abstract elementary classes was initiated by Shelah, too. In several papers, he introduced non-forking relations. Later, Shelah [17, II] introduced the good non-forking frame, an axiomatization of the non-forking notion.We improve results of Shelah on good non-forking frames, mainly by weakening the stability hypothesis in several important theorems, replacing it by the almost λ-stability hypothesis: The number of types over a model of cardinality (...) λ is at most λ+.We present conditions on Kλ, that imply the existence of a model in Kλ+n for all n. We do this by providing sufficiently strong conditions on Kλ, that they are inherited by a properly chosen subclass of Kλ+. What are these conditions? We assume that there is a ‘non-forking’ relation which satisfies the properties of the non-forking relation on superstable first order theories. Note that here we deal with models of a fixed cardinality, λ.While in Shelah [17, II] we assume stability in λ, so we can use brimmed models, here we assume almost stability only, but we add an assumption: The conjugation property.In the context of elementary classes, the superstability assumption gives the existence of types with well-defined dimension and the ω-stability assumption gives the existence and uniqueness of models prime over sets. In our context, the local character assumption is an analog to superstability and the density of the class of uniqueness triples with respect to the relation ≼bs is the analog to ω-stability. (shrink)

We show that Shelah’s Eventual Categoricity Conjecture for successors follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC withLS below a strongly compact cardinalκis <κ-tame and applying the categoricity transfer of Grossberg and VanDieren [11]. These techniques also apply to measurable and weakly compact cardinals and we prove similar tameness results under those hypotheses. We isolate a dual property (...) to tameness, calledtype shortness, and show that it follows similarly from large cardinals. (shrink)

We provide here the first steps toward a Classification Theory ofElementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some λ greater than its Löwenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non μ-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the o Conjecture for these classes. Further (...) results are in preparation. (shrink)

Let be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS. We prove that for a suitable Hanf number gc0 if χ0 < λ0 λ1, and is categorical inλ1+ then it is categorical in λ0.