Registrar Home | Registrar Search:
Home | Subject Search | Help | Symbols Help | Pre-Reg Help | Final Exam Schedule | My Selections

MIT Subject Listing & Schedule
Fall 2016 Search Results

Searched for: "theory of models"    Subjects offered any term      

1 subject found.

24.245 Theory of Models
______

Not offered academic year 2016-2017Undergrad (Fall) HASS Humanities
Prereq: 24.241 or permission of instructor
Units: 3-0-9
______
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