Letter of Introduction
Degree Programs
Graduate Courses
Seminars
Admissions
Financial Aid
Past Dissertations
Home
|
|
Graduate Courses
21-603 Introduction to Model Theory
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.
Course web site
|
