MATH 783: Model Theory (spring 2008)

Instructor: Justin Moore

Meeting Time & Room

This course will give an introduction to model theory and will be taught out of David Marker's Model Theory: An Introduction. Students are expected to have had a course similar to 681. The tentative list of topics covered will include: compactness, Lowenheim-Skolem theorems, back and forth arguments, quantifier elimination, realizing and omitting types, indecernibles, categoricity.