Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Courses 21-603
Introduction to Model Theory

Spring: 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 categoricity theorem; basic facts about infinitary languages, computation of Hanf-Morley numbers. Prerequisites are a familiarity with the basic concepts of predicate calculus, up to Henkin's proof to Gdel's completeness theoremn, and some knowledge of naive set theory.