Math 770: Foundations of Mathematics
(Instructor: Steffen Lempp)

This is an introductory graduate course in mathematical logic. We will discuss each of the four main subjects of logic: set theory, model theory, proof theory, and computability theory. The main topics will include the axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic, the syntax and semantics of first-order logic, a first-order proof calculus, the Completeness and Compactness Theorems, the Löwenheim-Skolem Theorems, and the Gödel Incompleteness Theorems.

OFFICIAL SYLLABUS

TEXTBOOK:

REFERENCE BOOKS:

LECTURES:

Lectures will be given live at the regular time on Blackboard Collaborate Ultra, accessible from Canvas and posted there for later viewing.

HOMEWORK:

Homework will be assigned intermittently throughout the semester and due at noon on the dte given below.

TAKE-HOME FINAL EXAM:

Available on line here, due Friday, December 18, at noon.
Prepared by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)