A new case of Shelah's eventual categoricity conjecture is established: Let be an abstract elementary class with amalgamation. Write and. Assume that is H2‐tame and has primes over sets of the form. If is categorical in some, then is categorical in all. The result had previously been established when the stronger locality assumptions of full tameness and shortness are also required. An application of the method of proof of the mentioned result is that Shelah's categoricity conjecture holds in the context (...) of homogeneous model theory (this was known, but our proof gives new cases): If D be a homogeneous diagram in a first‐order theory T and D is categorical in a, then D is categorical in all. (shrink)

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 show how to build prime models in classes of saturated models of abstract elementary classes (AECs) having a well‐behaved independence relation: Let be an almost fully good AEC that is categorical in and has the ‐existence property for domination triples. For any, the class of Galois saturated models of of size λ has prime models over every set of the form. This generalizes an argument of Shelah, who proved the result when λ is a successor cardinal.

We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.

In this paper we study abstract elementary classes using infinitary logics and prove a number of results relating them. For example, if is an a.e.c. with Löwenheim–Skolem number κ then is closed under L∞,κ+-elementary equivalence. If κ=ω and has finite character then is closed under L∞,ω-elementary equivalence. Analogous results are established for . Galois types, saturation, and categoricity are also studied. We prove, for example, that if is finitary and λ-categorical for some infinite λ then there is some σLω1,ω such (...) that and contain precisely the same models of cardinality at least λ. (shrink)

We show that Zilber’s conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in pseudo-exponentiation leads to a description of the elementary embeddings, and the result that pseudo-exponential fields are precisely the models of their common first-order theory which are atomic over exponential transcendence bases. We also show that the class of all pseudo-exponential fields is an example of a nonfinitary abstract elementary (...) class, answering a question of Kesälä and Baldwin. (shrink)

We introduce the framework of AECats, generalizing both the category of models of some first-order theory and the category of subsets of models. Any AEC and any compact abstract theory forms an AECat. In particular, we find applications in positive logic and continuous logic: the category of models of a positive or continuous theory is an AECat. The Kim–Pillay theorem for first-order logic characterizes simple theories by the properties dividing independence has. We prove a version of the Kim–Pillay theorem for (...) AECats with the amalgamation property, generalizing the first-order version and existing versions for positive logic. (shrink)

The classes stable, simple, and NSOP $_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one nice independence relation. Independence in stable and simple first-order theories must come from forking and dividing (which then coincide), and for NSOP $_1$ theories it must come from Kim-dividing. We generalise this work to the framework of Abstract Elementary Categories (AECats) (...) with the amalgamation property. These are a certain kind of accessible category generalising the category of (subsets of) models of some theory. We prove canonicity theorems for stable, simple, and NSOP $_1$ -like independence relations. The stable and simple cases have been done before in slightly different setups, but we provide them here as well so that we can recover part of the original stability hierarchy. We also provide abstract definitions for each of these independence relations as what we call isi-dividing, isi-forking, and long Kim-dividing. (shrink)

In this paper we study abstract elementary classes with Löwenheim-Skolem number $\kappa$ , where $\kappa$ is cofinal with $\omega$ , which have finite character. We generalize results obtained by Kueker for $\kappa=\omega$ . In particular, we show that $\mathbb{K}$ is closed under $L_{\infty,\kappa}$ -elementary equivalence and obtain sufficient conditions for $\mathbb{K}$ to be $L_{\infty,\kappa}$ -axiomatizable. In addition, we provide an example to illustrate that if $\kappa$ is uncountable regular then $\mathbb{K}$ is not closed under $L_{\infty,\kappa}$ -elementary equivalence.

We continue our study of finitary abstract elementary classes, defined in [7]. In this paper, we prove a categoricity transfer theorem for a case of simple finitary AECs. We introduce the concepts of weak κ-categoricity and f-primary models to the framework of א₀-stable simple finitary AECs with the extension property, whereby we gain the following theorem: Let (������, ≼ ������ ) be a simple finitary AEC, weakly categorical in some uncountable κ. Then (������, ≼ ������ ) is weakly categorical in (...) each λ ≥ min { \group{ \{\kappa,\beth_{ \group{ (2^{ \aleph_{ 0 _} ^});^{ + ^} \group} _}\}; \group} . If the class (������, ≼ ������ ) is also LS(������)-tame, weak κ-categoricity is equivalent with κ-categoricity in the usual sense. We also discuss the relation between finitary AECs and some other non-elementary frameworks and give several examples. (shrink)

We study Lascar strong types and Galois types and especially their relation to notions of type which have finite character. We define a notion of a strong type with finite character, the so-called Lascar type. We show that this notion is stronger than Galois type over countable sets in simple and superstable finitary AECs. Furthermore, we give an example where the Galois type itself does not have finite character in such a class.

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 use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There is (...) an AEC with amalgamation which is not (N₀, N₁)-tame but is 2(N0, ∞)-tame; Theorem 3.3. It is consistent with ZFC that there is an AEC with amalgamation which is not (≤ N₂, ≤ N₂)-compact. (shrink)

In this paper we study abstract elementary classes of modules. We give several characterizations of when the class of modules A with is abstract elementary class with respect to the notion that M1 is a strong submodel M2 if the quotient remains in the given class.

The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a (...) result of the second author. (shrink)