24.245 Theory of Models

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 be offered this semester (Fall 2017). It is instructed by V. McGee.

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

In the Fall 2014 Subject Evaluations, 24.245 was rated 6.5 out of 7.0. You can find more information at the Linguistics and Philosophy (Course 24-2) < MIT site or on the 24.245 Stellar site.