We show that certain classes of modules have universal models with respect to pure embeddings: Let R be a ring, T a first‐order theory with an infinite model extending the theory of R‐modules and (where ⩽pp stands for “pure submodule”). Assume has the joint embedding and amalgamation properties. If or, then has a universal model of cardinality λ. As a special case, we get a recent result of Shelah [28, 1.2] concerning the existence of universal reduced torsion‐free abelian groups with (...) respect to pure embeddings.We begin the study of limit models for classes of R‐modules with joint embedding and amalgamation. We show that limit models with chains of long cofinality are pure‐injective and we characterize limit models with chains of countable cofinality. This can be used to answer [18, Question 4.25].As this paper is aimed at model theorists and algebraists an effort was made to provide the background for both. (shrink)

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

We introduce the notion of a w-good \-frame which is a weakening of Shelah’s notion of a good \-frame. Existence of a w-good \-frame implies existence of a model of size \. Tameness and amalgamation imply extension of a w-good \-frame to larger models. As an application we show:Theorem 0.1. Suppose\. If \ = \mathbb {I} = 1 \le \mathbb {I} < 2^{\lambda ^{++}}\)and\is\\)-tame, then\.The proof presented clarifies some of the details of the main theorem of Shelah and avoids using (...) the heavy set-theoretic machinery of Shelah by replacing it with tameness. (shrink)