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