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 available in the Fall semester, and will be instructed by H. Cohn.

Lecture occurs 2:30 PM to 4:00 PM on Tuesdays and Thursdays in 4-153.

This class counts for a total of 12 credits.

You can find more information at the http://www.google.com/search?&q=MIT+%2B+18.510&btnG=Google+Search&inurl=https site or on the 18.510 Stellar 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

© Copyright 2015