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 Mellon University
Title: Existence of Morley sequences in simple theories, Part I

Abstract: While Morley sequences are one of the basic tools of first order classification theory, their existence is a nontrivial fact. Shelah's original proof uses the cardinal $\beth_{(2^|T|)^+}$, where $|T|$ is the number of formulas in the underlying language. The need for such a big cardinal seems surprising. Grossberg, Iovino and Lessmann lowered that cardinal to $\beth_\delta$, where $\delta$ is lower than the above bound, and asked whether it is really necessary, at least for the class of simple unstable theories (for stable theories much less suffices). This can be reformulated as a problem within Friedman's reverse mathematics: Grossberg asked if existence of Morley sequences in simple theories is provable in $(H(\chi),\in)$ when $\chi=(\beth_2(|T|))^+$. In this series of talks, I will show that the answer is yes, by giving a new proof that does not need any "big" cardinal. The proof builds on a 47 year old idea of Gaifman, together with a rank function studied by Adler. I aim to make the talks reasonably self-contained and use only minimal background. Familiarity with forking will not be assumed.

Date: Monday, February 10, 2014
Time: 5:00 pm
Location: Wean Hall 8220
Submitted by:  Grossberg