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, 2014Time: 5:00 pmLocation: Wean Hall 8220Submitted by:  Grossberg