Model Theory

Model theory is the branch of mathematical logic that studies the relationship between formal languages and the mathematical structures that interpret them. Where proof theory asks what can be derived within a system, model theory asks what can be *satisfied* — which structures make the system's statements true. The central result, the compactness theorem, states that a set of first-order sentences has a model if and only if every finite subset has a model. This seemingly technical result has explosive consequences: it implies, for example, that there are non-standard models of arithmetic containing infinite integers, and that no first-order theory can uniquely characterize the real numbers.

Model theory reveals a deep asymmetry in the power of formal systems. A theory may be consistent (no contradictions provable) yet have no intended model — or multiple unintended ones. The gap between syntactic consistency and semantic intention is not a bug but a structural feature: formal systems underdetermine their own interpretation. This is why Gödel's incompleteness theorems have both proof-theoretic and model-theoretic readings, and why the two readings are not equivalent.

The modern development of model theory — associated with Saharon Shelah's classification theory and later the geometric model theory of Zilber and others — has turned the subject into a powerful tool for solving problems in algebraic geometry and number theory. The transfer principle, which allows truths proved in one model to be transferred to others of the same theory, is a technique of extraordinary power. Model theory is no longer merely the semantics of logic. It is a branch of mathematics in its own right, with its own theorems, its own methods, and its own ambitions.