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, 2010Time: 3:30 pmLocation: Wean Hall 8220Submitted by:  Rami Grossberg