Cornell Math - MATH 783, Spring 2000

MATH 783 — Spring 2000
Model Theory

This course will be a first course in model theory but it will assume a basic background in logic as provided by Math 681. We will use the book Model Theory by Wilfred Hodges and, as it does, we will organize the course around constructions of structures rather than their classification. The methods to be studied will include most of the following: diagrams, compactness, Skolem hulls, interpretations, amalgamation, omitting types, saturation (realizing types and unions of chains), indiscernibles and Ehrenfeucht-Mostowski methods. We will also consider quantifier elimination, model completeness, decidability and categoricity.