|
Home
| Subject Search
| Help
| Symbols Help
| Pre-Reg Help
| Final Exam Schedule
| My Selections
|
Searched for: "theory of models" Subjects offered any term 1 subject found.
24.245 Theory of Models
(
)
![]()
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