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.
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.