MATH 7830 - Model Theory

Justin Moore, spring 2016.

This course will be an introductory course in model theory and will cover material on types, saturation, homogeneity, quantifier elimination and categoricity.  An emphasis will be placed on examples coming from algebra.  The culmination of the first part of the course will be Morley's Categoricity Theorem.  The remainder of the course will begin the development of stability theory, which aims at generalizing Morley's theorem.

Prerequisites

Students should have some familiarity with first order logic (in particular how syntax and structures are formalized and how logical satisfaction is defined).  Students should also have had some exposure to undergraduate level abstract algebra (groups, rings, fields).  MATH 6810 is NOT a prerequisite.

Textbook

This course will likely be taught from a set of lecture notes by Anand Pillay and will differ somewhat from recent offerings of MATH 7830 taught out of David Marker's text.