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 4 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 iff 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. Date: Wednesday, October 6, 2010 Time: 3:30 pm Location: Wean Hall 8220 Submitted by: Rami Grossberg |