Department of         Mathematical Sciences Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni Model Theory Seminar Roy Jiang Carnegie Mellon University Title: Many models for unstable first-order theory, part 4 Abstract: In this sequence of lecture I will prove Shelah's celebrated Theorem. Let T be a first-order theory and \lambda be an uncountable cardinal satisfying \lambda >= |T|. If T is unstable then I(\lambda,T)=2^\lambda.For the proof we will construct many "complicated" linear orders, we will take Skolem hulls of such orders and if I(\lambda,T)<2^\lambda using combinatorial set theory we will construct large families of almost disjoint sets and will use them to code stationary sets into isomorphism types of models for T.Date: Monday, November 19, 2012Time: 5:00 pmLocation: Wean Hall 8220Submitted by:  Grossberg