CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Model Theory Seminar
Daniel Rodriguez
Carnegie Melllon University
Title: Categoricity Theorem for uncountable first-order theories. Part 3

Abstract: This sequence of lectures will be dedicated to the proof of the following theorem: If T is categorical in some a cardinal >|T| then T is categorical in all cardinals >|T|.

The first proof (discovered by Shelah) took an entire year to present using the full power of forking and orthogonality calculus. We will see a simpler second proof (also due to Shelah), inspired by some ideas from the Baldwin-Lachlan proof of Morley's categoricity theorem combined with elementary facts from super stability.

Date: Monday, April 2, 2012
Time: 5:00 pm
Location: Wean Hall 8220
Submitted by:  Grossberg