18.510 Introduction to Mathematical Logic & Set Theory
Fall 2017
Instructor: Henry Cohn
Lecture:
TR2.30-4
(4-153)
Office hours: T4-5, R1:30-2:30, and by appointment
(2-341B)
Information:
Topics: Propositional and predicate logic. Zermelo-Frenkel set theory. Ordinals and cardinals. Axiom of choice and transfinite induction. Elementary model theory: completeness, compactness, and Löwenheim-Skolem theorems. Gödel's incompleteness theorem.
Course notes and problem sets are posted under "Materials".
To see solution sets, follow the link for that problem set, and it will take you to a page where you can choose between the problem set and the solution set (if it has already been released).
Announcements
No announcements
