Course ID:	Math 770
Time:	TuTh 1:00—2:15AM
Place:	Van Vleck Hall B219

Mariya Soskova
Office:	523 Van Vleck
Email:	msoskova@math.wisc.edu
Jun Le Goh
Office:	720 Van Vleck
Email:	junle.goh@wisc.edu
Office hours:	M 4PM—5PM. The week of Dec 9 the office hour will be on Tuesday after class at 2:15.

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 Incompleteness Theorems. We will mainly be following Mathematical Logic, Second Edition by Ebbinghaus, Flumm, and Thomas, ISBN 0387942580. Homework will include problems form this book. We will also use Chpater I of Kunen's Set Theory (Studies in Logic: Mathematical Logic and Foundations), ISBN 1848900503.

The final can be downloaded here and is due by midnight Dec 17. Your final grade will be determined using the formula:

60% (Homework) + 40% (Final)
Homework assignments will be reguraly posted here. Homework will be due two weeks after it has been assigned. Late homework will not be accepted unless in case of emergency.

HW 1(due Oct 3)	Chapter II Ex 4.6; Ex 4.7; Chapter III Ex 1.5, Ex 1.6, Ex 3.3, Ex 3.4, Ex 4.10, Ex 4.14, Ex 4.15; Ex 5.10; Ex 5.11; Ex 6.8; Ex 6.10 a, b, c, Ex 8.10.
HW 2(due Oct 17)	From Set Theory by Kunen: Ex 1.7.25; Ex 1.9.52 (only two equalities), Ex 1.9.53, Ex 1.9.54., 1.9.48, 1.9.56, Prove that AC is equivalent to the Hausdorff Maximal Principle.
HW 3(due Nov 7)	Chapter IV Ex 3.6 a1, c,d2, Ex 4.5, Ex 7.8; Chapter V Ex 1.12, Ex 2.5; Chapter VI Ex 2.5, 3.11, 4.10, 4.11
HW 4(due Dec 3)	Chapter X, Ex 1.9, Ex 1.11, Ex 1.12, Ex 2.12 (see definition of lexicographical ordering on page 154), Ex 4.3, Ex 6.6, Ex 6.7, Ex 6.13.