Model Theory I

12 units · Graduate

Fall: 12 units 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. (Three 50 minute lectures) Prerequisites: ( 21-455 Min. grade B or 21-355 Min. grade B or 21-235 Min. grade B) and ( 21-373 Min. grade B or 21-237 Min. grade B)