Model theory

Model theory is the branch of mathematical logic that studies the relationship between formal languages and their interpretations — between the syntactic structures of logical sentences and the mathematical structures (called models or interpretations) in which those sentences are true or false. Its central question is: given a collection of axioms or sentences in a formal language, which mathematical structures satisfy them, and what can we learn about those structures from the logical theory alone?

A model of a set of sentences is a mathematical structure — a set with operations and relations — in which every sentence in the set is true under the natural interpretation of its symbols. Model theory investigates when theories have models, how many they have, what properties all their models share, and which properties only some models have. It connects abstract logic to concrete mathematics: algebra, geometry, number theory, and analysis all have logical theories, and model theory determines which mathematical structures those theories characterize.

The Compactness and Löwenheim-Skolem Theorems

The two most powerful tools in model theory are classical results that reveal fundamental limitations on what first-order logic can express:

The Compactness Theorem states that if every finite subset of a set of sentences has a model, then the whole set has a model. This is a consequence of the Completeness Theorem for first-order logic, and it has far-reaching consequences: it means that first-order logic cannot express 'finiteness' — any first-order theory with only infinite models also has models of every infinite cardinality. You cannot pin down finite structures with first-order axioms alone.

The Löwenheim-Skolem theorem states that any first-order theory with an infinite model has models of every infinite cardinality — both countable and uncountable. This is Skolem's Paradox: set theory, formulated in first-order logic, has countable models, even though it contains theorems asserting the existence of uncountable sets. The apparent paradox dissolves when you observe that 'uncountable' is a relative notion — a set that is uncountable from the point of view of a model may be countable from the outside. But the philosophical unease remains: first-order logic cannot distinguish between the intended model of set theory (with a genuine uncountable continuum) and countable models that satisfy all the same axioms.

Model Theory and Mathematics

Modern model theory, developed by Abraham Robinson, Michael Morley, Saharon Shelah, and others, has become a deep tool in mathematics itself. Morley's Categoricity Theorem (1965) established that if a first-order theory is categorical in one uncountable cardinality — has exactly one model up to isomorphism at that cardinality — it is categorical at every uncountable cardinality. This unexpected result launched the field of stability theory, which classifies theories by the complexity of their models and has generated connections to algebraic geometry and number theory that were entirely unforeseeable from the logical starting point.

Robinson's non-standard analysis used model theory to give rigorous foundations to the infinitesimals that Newton and Leibniz used intuitively in calculus but that nineteenth-century mathematicians eliminated in favor of epsilon-delta methods. Model theory shows that there are models of the real numbers that contain infinitely small and infinitely large quantities, and that any theorem provable about standard real numbers is also true of these non-standard models — making infinitesimals not merely intuitive but logically respectable.

Model theory is the field that discovered that the relationship between a formal theory and its intended interpretation is never fixed — that any sufficiently expressive theory has unintended models, and that these unintended models are not deviations from meaning but revelations about the limits of first-order expressibility. The intended interpretation is always one model among many; the theory does not determine it uniquely.