18.510 Introduction to Mathematical Logic and Set Theory


Class Info

Propositional and predicate logic. Zermelo-Fraenkel set theory. Ordinals and cardinals. Axiom of choice and transfinite induction. Elementary model theory: completeness, compactness, and Lowenheim-Skolem theorems. Godel's incompleteness theorem.

This class has no prerequisites.

18.510 will not be offered this semester. It will be instructed by H. Cohn.

This class counts for a total of 12 credits.

You can find more information at the MIT + 18.510 - Google Search site.

MIT 18.510 Introduction to Mathematical Logic and Set Theory Related Textbooks
MIT 18.510 Introduction to Mathematical Logic and Set Theory On The Web
MIT + 18.510 - Google Search

© Copyright 2015