The branch of mathematical logic that studies formal languages and their interpretations (models), focusing on the relationships between syntactic theories and semantic structures: satisfiability, elementary equivalence, definability, types, and model-theoretic properties such as completeness, compactness, and stability.

Principle

Relate formal theories (sets of sentences in a language) to classes of structures that satisfy them via the satisfaction relation; analyze which properties of structures are expressible in a given language and how model-theoretic invariants classify theories and structures.

Demonstration

Consider the language of groups and the theory of abelian groups; model theory examines which equations or properties are definable, compares non-isomorphic models that satisfy the same first-order sentences (elementary equivalence), and studies phenomena like ultraproducts and elementary embeddings.

Misapplication

Confusing model-theoretic ‘models’ with statistical or empirical models; applying first-order model-theoretic conclusions verbatim to higher-order or non-logical frameworks without checking language and compactness distinctions leads to error.

Consequence

Provides tools to determine expressiveness and limitations of formal languages, to transfer properties between models (elementary embeddings, back-and-forth arguments), and to classify theories (stable, o-minimal, decidable), often yielding deep structural insights across algebra, geometry and combinatorics.

Reversal

Shift focus to proof theory which emphasizes syntactic derivability and formal proofs rather than semantic classification of structures; or use category-theoretic semantics that emphasize morphisms and functorial relationships instead of element-wise satisfaction.

Boundary

Primarily concerns formal languages and mathematical structures; first-order model theory has specific theorems (compactness, Löwenheim–Skolem) that fail in higher-order logics. It does not directly address empirical model selection or probabilistic modeling outside the logical framework.

Semantic Tension

‘Model’ in model theory (a mathematical structure satisfying a theory) versus ‘model’ in applied statistics (a parameterized stochastic description); the same word denotes distinct practices and criteria of adequacy.

Synthesis

Model theory systematically studies how languages describe structures and how semantic notions (models, satisfaction, definability) interplay with syntactic theories; by classifying theories and examining constructions like elementary extensions, it links logical expressiveness to structural behavior in mathematics.