Department of Mathematical Sciences
Events
People
Colloquia and Seminars
Conferences
Centers
Positions
Areas of Research
About the Department |
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 8220 Submitted by: Grossberg |