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.
This class counts for a total of 12 credits. This class counts as a HASS H.
You can find more information at the MIT + 24.245 - Google Search site.
© Copyright 2015 Yasyf Mohamedali