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

Title: Categoricity in $L_{kappa, omega}$ when $kappa$ is strongly compact, Part 7

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