Mathematics · Foundations & Logic
A topic within Foundations & Logic, itself one of 13 topics in that field and part of Mathematics.
2 works
Wilfrid Hodges
Introduces model theory as the study of the relationship between formal languages and the structures that satisfy them, organised around the compactness and Loewenheim-Skolem theorems.
link checked 17 Sept 2026Lou van den Dries and C. Ward Henson
Builds model theory from compactness and quantifier elimination up through stability, treating each classical theorem as a worked case study in a specific first-order theory rather than an abstract statement.
link checked 17 Sept 2026