CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Model Theory Seminar
Will Boney
Mathematical Sciences, Carnegie Mellon
Title: Categoricity in $L_{kappa, omega}$ when $kappa$ is strongly compact, Part 6

Abstract: In this series of talks, I will present a result of Makkai and Shelah that is an analogue to Morley s theorem in $L_{kappa, omega}$. This requires using $kappa$ being strongly compact, which says that any collection of sentences from $L_{kappa, kappa}$ is consistent if every $< kappa$ sized subset of it is consistent. The proof of this is much different than the proof of Morley s theorem and goes through a concept called forking, which is an important extension of splitting.

The talks are based on a long paper by Makkai and Shelah, a copy is available from Rami.

Date: Wednesday, October 27, 2010
Time: 3:30 pm
Location: Wean Hall 8220
Submitted by:  Rami Grossberg