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

MIT Subject Listing & Schedule
IAP/Spring 2020 Search Results

Searched for:

1 subject found.

24.245 Theory of Models
______

Undergrad (Spring) HASS Humanities
Prereq: 24.241 or permission of instructor
Units: 3-0-9
Lecture: MW12.30-2 (66-148)
______
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
Textbooks (Spring 2020)