24.245 Theory of Models


Class Info

Studies fundamental results in the model theory of the first-order predicate calculus. Includes completeness, compactness, Löwenheim-Skolem, omitting types, ultraproducts, and categoricity in a cardinal, starting with Tarski's definition of logical consequence, in terms of truth in a model.

This class has 24.241 as a prerequisite.

24.245 will not be offered this semester. It will be available in the Fall semester, and will be instructed by .

This class counts for a total of 12 credits. This class counts as a HASS H.

You can find more information at the http://www.google.com/search?&q=MIT+%2B+24.245&btnG=Google+Search&inurl=https site or on the 24.245 Stellar site.

MIT 24.245 Theory of Models Related Textbooks

© Copyright 2015