Scheduler

21-603: Model Theory I

Units 12
Department Mathematical Sciences
Prerequisites None
Related URLs http://www.math.cmu.edu

Similarity types, structures; downward Lowenheim Skolem theorem; construction of models from constants, Henkin's omitting types theory, prime models; elementary chains of models, basic two cardinal theorems, saturated models, basic results on countable models including Ryll-Nardzewski's theorem; indiscernible sequences, Ehrenfeucht-Mostowski models; introduction to stability, rank functions, primary models, and a proof of Morley's catagoricity theorem; basic facts about infinitary languages, computation of Hanf-Morley numbers.

Missing some of your favorite features that used to be here?

Don't worry, were working hard to get these features implemented. Check back soon!

Sections

No sections available for Spring 2009

Section Time Day Instructor(s) Location
A 01:30 pm – 02:20 pm MWF Grossberg BH 255A

Textbooks

We don’t have textbooks yet. Check back closer to the beginning of Spring 2009.

Never gonna tell a lie and hurt you © 2004–2008 The Carnegie Pulse