Cornell Math - MATH 783, Spring 2006

MATH 783: Model Theory (Spring 2006)

Instructor: Marat Arslanov

Meeting Time & Room

Course covers various topics from model theory, including 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, including Morley's theorem on categoricity.

This course assumes a basic background in logic. We will use the following textbooks in model theory: A Shorter Model Theory by Wilfred Hodges and Model Theory by Chang and Keisler.