There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that stability is enough to construct larger models for small cardinals assuming a mild locality condition for Galois types.Theorem 0.1.

Suppose $\lambda <2^{\aleph _0}$. Let ${\mathbf {K}}$ be an abstract elementary class with $\lambda \geq {\operatorname {LS}}({\mathbf {K}})$. Assume ${\mathbf {K}}$ has amalgamation in $\lambda $, no maximal model in $\lambda $, and is stable in $\lambda $. If ${\mathbf {K}}$ is $(<\lambda ^+, \lambda )$-local, then ${\mathbf {K}}$ has a model of cardinality $\lambda ^{++}$.

The set theoretic assumption that $\lambda <2^{\aleph _0}$ and model theoretic assumption of stability in $\lambda $ can be weakened to the model theoretic assumptions that $|{\mathbf {S}}^{na}(M)|< 2^{\aleph _0}$ for every $M \in {\mathbf {K}}_\lambda $ and stability for $\lambda $-algebraic types in $\lambda $. This is a significant improvement of Theorem 0.1, as the result holds on some unstable abstract elementary classes.

In this paper we consider the classes of all continuous $\mathcal {L}$-(pre-)structures for a continuous first-order signature $\mathcal {L}$. We characterize the moduli of continuity for which the classes of finite, countable, or all continuous $\mathcal {L}$-(pre-)structures have the amalgamation property. We also characterize when Urysohn continuous $\mathcal {L}$-(pre)-structures exist, establish that certain classes of finite continuous $\mathcal {L}$-structures are countable Fraïssé classes, prove the coherent EPPA for these classes of finite continuous $\mathcal {L}$-structures, and show that actions by automorphisms on finite $\mathcal {L}$-structures also form a Fraïssé class. As consequences, we have that the automorphism group of the Urysohn continuous $\mathcal {L}$-structure is a universal Polish group and that Hall’s universal locally finite group is contained in the automorphism group of the Urysohn continuous $\mathcal {L}$-structure as a dense subgroup.

We initiate a systematic study of generic stability independence and introduce the class of treeless theories in which this notion of independence is particularly well behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that every binary NSOP$_{3}$ theory is simple.

We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP$_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q)<D_Q(p)$ for some Q, and if $q\supseteq p$ is a Kim-non-forking extension, then $D_Q(q)=D_Q(p)$ for every Q that involves only invariant types whose Morley powers are -stationary. We give natural examples of families of invariant types satisfying this property in some NSOP$_1$ theories.

We also answer a question of Granger about equivalence of dividing and dividing finitely in the theory $T_\infty $ of vector spaces with a generic bilinear form. We conclude that forking equals dividing in $T_\infty $, strengthening an earlier observation that $T_\infty $ satisfies the existence axiom for forking independence.

Finally, we slightly modify our definitions and go beyond NSOP$_1$ to find out that our local ranks are bounded by the well-known ranks: the inp-rank (burden), and hence, in particular, by the dp-rank. Therefore, our local ranks are finite provided that the dp-rank is finite, for example, if T is dp-minimal. Hence, our notion of rank identifies a non-trivial class of theories containing all NSOP$_1$ and NTP$_2$ theories.

Let T be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf {Mod}(T)$ to be homotopically equivalent to $\mathbb {CP}^\infty $. In particular, $\pi _2(\lvert \mathsf {Mod}(T)\rvert )=\mathbb {Z}$, which answers a question in our previous work. The computation is based on Connes’ cycle category $\Lambda $.

Ultrafilters play a significant role in model theory to characterize logics having various compactness and interpolation properties. They also provide a general method to construct extensions of first-order logic having these properties. A main result of this paper is that every class $\Omega $ of uniform ultrafilters generates a $\Delta $-closed logic ${\mathcal {L}}_\Omega $. ${\mathcal {L}}_\Omega $ is $\omega $-relatively compact iff some $D\in \Omega $ fails to be $\omega _1$-complete iff ${\mathcal {L}}_\Omega $ does not contain the quantifier “there are uncountably many.” If $\Omega $ is a set, or if it contains a countably incomplete ultrafilter, then ${\mathcal {L}}_\Omega $ is not generated by Mostowski cardinality quantifiers. Assuming $\neg 0^\sharp $ or $\neg L^{\mu }$, if $D\in \Omega $ is a uniform ultrafilter over a regular cardinal $\nu $, then every family $\Psi $ of formulas in ${\mathcal {L}}_\Omega $ with $|\Phi |\leq \nu $ satisfies the compactness theorem. In particular, if $\Omega $ is a proper class of uniform ultrafilters over regular cardinals, ${\mathcal {L}}_\Omega $ is compact.

A first-order structure $\mathfrak {A}$ is called monadically stable iff every expansion of $\mathfrak {A}$ by unary predicates is stable. In this paper we give a classification of the class $\mathcal {M}$ of $\omega $-categorical monadically stable structure in terms of their automorphism groups. We prove in turn that $\mathcal {M}$ is the smallest class of structures which contains the one-element pure set, is closed under isomorphisms, and is closed under taking finite disjoint unions, infinite copies, and finite index first-order reducts. Using our classification we show that every structure in $\mathcal {M}$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\mathcal {M}$ has finitely many reducts up to interdefinability, thereby confirming Thomas’ conjecture for the class $\mathcal {M}$.

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.

Building on Pierre Simon’s notion of distality, we introduce distality rank as a property of first-order theories and give examples for each rank m such that $1\leq m \leq \omega $ . For NIP theories, we show that distality rank is invariant under base change. We also define a generalization of type orthogonality called m-determinacy and show that theories of distality rank m require certain products to be m-determined. Furthermore, for NIP theories, this behavior characterizes m-distality. If we narrow the scope to stable theories, we observe that m-distality can be characterized by the maximum cycle size found in the forking “geometry,” so it coincides with $(m-1)$ -triviality. On a broader scale, we see that m-distality is a strengthening of Saharon Shelah’s notion of m-dependence.

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin–Eklof–Trlifaj are stable and tame. On the other hand, we give a simpler proof (in a special case) that combinatorial categories are closed under 2-limits, a theorem of Makkai and Rosický.

We show that the Lascar group $\operatorname {Gal}_L(T)$ of a first-order theory T is naturally isomorphic to the fundamental group $\pi _1(|\mathrm {Mod}(T)|)$ of the classifying space of the category of models of T and elementary embeddings. We use this identification to compute the Lascar groups of several example theories via homotopy-theoretic methods, and in fact completely characterize the homotopy type of $|\mathrm {Mod}(T)|$ for these theories T. It turns out that in each of these cases, $|\operatorname {Mod}(T)|$ is aspherical, i.e., its higher homotopy groups vanish. This raises the question of which homotopy types are of the form $|\mathrm {Mod}(T)|$ in general. As a preliminary step towards answering this question, we show that every homotopy type is of the form $|\mathcal {C}|$ where $\mathcal {C}$ is an Abstract Elementary Class with amalgamation for $\kappa $ -small objects, where $\kappa $ may be taken arbitrarily large. This result is improved in another paper.

The general theory developed by Ben Yaacov for metric structures provides Fraïssé limits which are approximately ultrahomogeneous. We show here that this result can be strengthened in the case of relational metric structures. We give an extra condition that guarantees exact ultrahomogenous limits. The condition is quite general. We apply it to stochastic processes, the class of diversities, and its subclass of $L_1$ diversities.

We introduce the framework of AECats (abstract elementary categories), 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 (“cat”, as introduced by Ben-Yaacov) forms an AECat. In particular, we find applications in positive logic and continuous logic: the category of (subsets 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.

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) 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 (such as amalgamation or arbitrarily large models) and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

We study the two model-theoretic concepts of weak saturation and weak amalgamation property in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly saturated objects of an accessible category ${\cal K}$. We discuss the implications of this fact in classical model theory.

We continue the study of the theories of Baldwin–Shi hypergraphs from [5]. Restricting our attention to when the rank δ is rational valued, we show that each countable model of the theory of a given Baldwin–Shi hypergraph is isomorphic to a generic structure built from some suitable subclass of the original class used in the construction. We introduce a notion of dimension for a model and show that there is a an elementary chain $\left\{ {\mathfrak{M}_\beta :\beta \leqslant \omega } \right\}$ of countable models of the theory of a fixed Baldwin–Shi hypergraph with $\mathfrak{M}_\beta \preccurlyeq \mathfrak{M}_\gamma $ if and only if the dimension of $\mathfrak{M}_\beta $ is at most the dimension of $\mathfrak{M}_\gamma $ and that each countable model is isomorphic to some $\mathfrak{M}_\beta $. We also study the regular types that appear in these theories and show that the dimension of a model is determined by a particular regular type. Further, drawing on a large body of work, we use these structures to give an example of a pseudofinite, ω-stable theory with a nonlocally modular regular type, answering a question of Pillay in [11].

We study the theory Tm,n of existentially closed incidence structures omitting the complete incidence structure Km,n, which can also be viewed as existentially closed Km,n-free bipartite graphs. In the case m = n = 2, this is the theory of existentially closed projective planes. We give an $\forall \exists$-axiomatization of Tm,n, show that Tm,n does not have a countable saturated model when m, n ≥ 2, and show that the existence of a prime model for T2,2 is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for Tm,n. We show that Tm,n is NSOP1, but not simple when m, n ≥ 2, and we show that Tm,n has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.

Shelah has provided sufficient conditions for an ${\Bbb L}_{\omega _1 ,\omega } $-sentence ψ to have arbitrarily large models and for a Morley-like theorem to hold of ψ. These conditions involve structural and set-theoretic assumptions on all the ${\aleph _n}$’s. Using tools of Boney, Shelah, and the second author, we give assumptions on ${\aleph _0}$ and ${\aleph _1}$ which suffice when ψ is restricted to be universal:

Theorem.Assume${2^{{\aleph _0}}} < {2^{{\aleph _1}}}$. Let ψ be a universal ${\Bbb L}_{\omega _1 ,\omega } $-sentence.

1. (1) If ψ is categorical in${\aleph _0}$and$1 \leqslant {\Bbb L}\left( {\psi ,\aleph _1 } \right) < 2^{\aleph _1 } $, then ψ has arbitrarily large models and categoricity of ψ in some uncountable cardinal implies categoricity of ψ in all uncountable cardinals.

2. (2) If ψ is categorical in${\aleph _1}$, then ψ is categorical in all uncountable cardinals.

The theorem generalizes to the framework of ${\Bbb L}_{\omega _1 ,\omega } $-definable tame abstract elementary classes with primes.

Givant [6] generalized the notion of an atomic pair-dense relation algebra from Maddux [13] by defining the notion of a measurable relation algebra, that is to say, a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the “size” of each such atom can be defined in an intuitive and reasonable way (within the framework of the first-order theory of relation algebras). In Andréka--Givant [2], a large class of examples of such algebras is constructed from systems of groups, coordinated systems of isomorphisms between quotients of the groups, and systems of cosets that are used to “shift” the operation of relative multiplication. In Givant--Andréka [8], it is shown that the class of these full coset relation algebras is adequate to the task of describing all measurable relation algebras in the sense that every atomic and complete measurable relation algebra is isomorphic to a full coset relation algebra.

Call an algebra $\mathfrak{A}$ a coset relation algebra if $\mathfrak{A}$ is embeddable into some full coset relation algebra. In the present article, it is shown that the class of coset relation algebras is equationally axiomatizable (that is to say, it is a variety), but that no finite set of sentences suffices to axiomatize the class (that is to say, the class is not finitely axiomatizable).

In the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability. Under the assumption that the class is tame and stable, we show that (asymptotically) no long splitting chains implies solvability and uniqueness of limit models implies no long splitting chains. Using known implications, we can then conclude that all the previously-mentioned definitions (and more) are equivalent:

• Corollary.LetKbe a tame AEC with a monster model. Assume thatKis stable in a proper class of cardinals. The following are equivalent:

  1. (1) For all high-enough λ,Khas no long splitting chains.

  2. (2) For all high-enough λ, there exists a good λ-frame on a skeleton ofKλ.

  3. (3) For all high-enough λ,Khas a unique limit model of cardinality λ.

  4. (4) For all high-enough λ,Khas a superlimit model of cardinality λ.

  5. (5) For all high-enough λ, the union of any increasing chain of λ-saturated models is λ-saturated.

  6. (6) There exists μ such that for all high-enough λ,Kis (λ,μ) -solvable.

This gives evidence that there is a clear notion of superstability in the framework of tame AECs with a monster model.