The study of classes of structures satisfying given first-order theories. Central results: compactness, Löwenheim–Skolem, Łoś ultraproduct theorem, Morley categoricity, o-minimality.
The study of classes of structures satisfying given first-order theories. Central results: compactness, Löwenheim–Skolem, Łoś ultraproduct theorem, Morley categoricity, o-minimality.