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 University Title: Categoricity in $L_{kappa, omega}$ when $kappa$ is strongly compact, Part 10 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. Date: Monday, November 29, 2010 Time: 3:30 pm Location: Wean Hall 8220 Submitted by: Rami Grossberg |