CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Model Theory Seminar
Sebastien Vasey
Carnegie Melllon University
Title: Superstability in abstract elementary classes, Part 2

Abstract: Shelah's study of the first-order stability spectrum (the class of cardinals at which a theory is stable) led him to the definition of forking, one of the central notion of model theory. Shelah proved that for every stable first-order theory $T$, there is a cardinal $\kappa(T)$ such that for every high-enough $\lambda$, $T$ is stable in $\lambda$ if and only if $\lambda = \lambda^{<\kappa (T)}$. Moreover $\kappa (T)$ is the least cardinal $\kappa$ such that every type does not fork over a set of size less than $\kappa$.

The simplest case is when $\kappa (T) = \aleph_0$ (or equivalently when $T$ is stable on a tail of cardinals). In this case $T$ is called superstable. Such a $T$ has a well-developed structure theory. For example, it is known that it has a saturated model in every high-enough cardinal. In fact, for every $\lambda$, the union of a chain of $\lambda$-saturated models is $\lambda$-saturated.

In this series of talk, I will discuss generalizing first-order superstability theory to the framework of abstract elementary classes (AECs). We will look at both the local context (where we study the behavior of the class at one specific cardinal) and the global context (where we study the class globally, assuming the existence of a monster model and usually also tameness: a locality property for Galois types introduced by Grossberg and VanDieren). The theory has recently seen several applications, including a proof of Shelah's eventual categoricity conjecture for universal classes. Our guiding thread will be the following result, which combines papers by Boney, Grossberg, Shelah, Vasey, and VanDieren.

Theorem: Let $K$ be a tame AEC with a monster model. The following are equivalent: 1) $K$ is stable in all high-enough cardinals. 2) $K$ has no long splitting chains in all high-enough cardinals. 3) $K$ has a saturated model in all high-enough cardinals. 4) For all high-enough $\lambda$, the union of a chain of $\lambda$-Galois-saturated models is $\lambda$-Galois-saturated.

Date: Monday, February 13, 2017
Time: 5:00 pm
Location: Wean Hall 8201
Submitted by:  Grossberg