Search Results

24.245 Theory of Models

Prereq: 24.241 or permission of instructor
Acad Year 2017-2018: Not offered
Acad Year 2018-2019: U (Fall)

12 Units. HASS-H

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.

V. McGee

See more...