MATH 6810: Logic (spring 2009)

Instructor: Justin Moore

This course will provide a background in mathematical logic. It will begin basic set theory and an introduction to first order logic, culminating in the Completeness Theorem. This will be followed by a sampling of topics in model theory (the Lowenheim-Skolem Theorem and quantifier elimination) and recursion theory (culminating in the Incompleteness Theorem).

Lecture notes by Lou van den Dries will be used as a text (www.math.uiuc.edu/~vddries/410notes/main.dvi).