Cornell Math - MATH 783, Spring 2004

MATH 783: Model Theory (Spring 2004)

Instructor: Richard Shore

Meeting Time & Room

This course will be a first course in model theory but it will assume a basic background in logic as provided, for example, by Math 681. We will use either the A Shorter Model Theory by Wilfred Hodges or Model Theory by David Marker.

The methods to be studied will include most of the following: diagrams, back and forth arguments, 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.