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
Carnegie Mellon University
Title: Categoricity in $L_{kappa, omega}$ when $kappa$ is strongly compact, Part n+1

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: Monday, January 31, 2011
Time: 5:00 pm
Location: Wean Hall 8220
Submitted by:  Grossberg