What is the difference between syntax and semantics in model theory?

Syntax concerns formal sentences and proofs in a language, while semantics concerns structures and whether sentences are true in them. The completeness theorem shows that for first-order logic these two perspectives coincide: provability matches truth in all models.

Why does model theory matter for ordinary mathematics?

Many algebraic structures, such as fields and ordered groups, are defined by first-order axioms, so model-theoretic results about definable sets and quantifier elimination translate into concrete theorems and decision procedures in algebra, geometry, and number theory.

Model Theory

Model theory studies the relationship between formal languages and their interpretations, analyzing the mathematical structures that satisfy a given set of axioms.

Definition

Model theory is the branch of mathematical logic that studies models, structures interpreting a formal language, and the relationships between the sentences true in a structure and the algebraic and combinatorial properties of that structure.

Scope

This area covers first-order logic and its semantics, the completeness, compactness, and Loewenheim-Skolem theorems, elementary equivalence and embeddings, types and saturated models, quantifier elimination, and the classification of theories by their model-theoretic properties. It connects logic to algebra, geometry, and number theory through the study of definable sets.

Sub-topics

Core questions

Which structures satisfy a given theory, and how are they related?
What can a theory express about the size and number of its models?
How are definable sets in a structure described and classified?
Which theories are well-behaved enough to admit a structure theory for their models?

Key theories

Completeness theorem: Goedel's completeness theorem states that a first-order sentence is provable from a theory exactly when it holds in every model of the theory, identifying syntactic provability with semantic truth.
Compactness theorem: A set of first-order sentences has a model if and only if every finite subset does, a tool that yields nonstandard models and transfers properties between finite and infinite structures.
Loewenheim-Skolem theorems: A first-order theory with an infinite model has models of every infinite cardinality, so first-order logic cannot pin down the size of infinite structures.

Clinical relevance

Model theory provides powerful tools that have been applied across mathematics: quantifier elimination yields decision procedures for algebraic theories, and the model theory of fields and groups has produced results in number theory, real and complex geometry, and combinatorics, notably through stability theory and o-minimality.

History

Model theory grew from the work of Loewenheim, Skolem, and Goedel in the early twentieth century and was shaped into a coherent subject by Tarski's semantic definition of truth and Maltsev's and Robinson's applications of compactness. Shelah's classification and stability theory from the 1970s onward gave the field its modern structural framework and its deep connections to other areas of mathematics.

Key figures

Kurt Goedel
Alfred Tarski
Anatoly Maltsev
Abraham Robinson
Saharon Shelah

Seminal works

marker2002
changkeisler1990
hodges1993

Frequently asked questions

What is the difference between syntax and semantics in model theory?: Syntax concerns formal sentences and proofs in a language, while semantics concerns structures and whether sentences are true in them. The completeness theorem shows that for first-order logic these two perspectives coincide: provability matches truth in all models.
Why does model theory matter for ordinary mathematics?: Many algebraic structures, such as fields and ordered groups, are defined by first-order axioms, so model-theoretic results about definable sets and quantifier elimination translate into concrete theorems and decision procedures in algebra, geometry, and number theory.