Model Theory is the part of logic that explains how formal languages acquire meaning. It is the domain where syntactic expressions are interpreted inside mathematical structures, where truth becomes a semantic relation, and where entire theories are understood through the models that satisfy them.
Its internal structure is not arbitrary. Across Hodges, Marker, Shelah, the Handbook of Model Theory, and the major logic programs at Oxford, Cambridge, Chicago, and Berkeley, the same core pattern appears: three semantic foundations that define meaning and interpretability (structures & interpretations, satisfaction & definability, quantifier theory), and two advanced geometric/classificatory domains that describe how models behave at scale (classification theory and tame/o-minimal geometry).
Together, these fields constitute the complete operating system of Model Theory. Each explains a different mode of semantic behavior, but all interlock: structures provide the domains and functions; satisfaction defines truth; definability measures expressive reach; quantifier behavior determines the power of a language; classification theory organizes theories by stability and complexity; and tame geometry describes the large-scale structure of definable sets.
The table that follows reflects this structure exactly—no noise, no algebraic detours, and no conflation with set theory or proof theory. This is the clean backbone of the discipline.
| Field Name | Focus | Examples |
|---|---|---|
| Structures, Languages & Interpretations | The semantic universe: domains, functions, relations, and how symbols in a language map to mathematical objects. | Structures, signatures, homomorphisms, embeddings, isomorphisms, elementary substructures, diagrams. |
| Satisfaction & Definability Theory | Truth in structures and the expressive reach of formulas; definable sets, types, and semantic invariants. | Satisfaction (⊨), definable sets/functions, elementary equivalence, types, quantifier elimination, Skolem functions. |
| Quantifier Theory & Model Completeness | The behavior of quantifiers and the relative expressive power of logical languages and theories. | Model completeness, quantifier elimination, decidable theories, expressive hierarchies, interpolation. |
| Classification Theory | Shelah’s framework for dividing theories into semantic categories based on complexity and independence. | Stability, superstability, simplicity, NIP/NTP, Morley rank, forking, dividing lines, stable vs unstable theories. |
| Tame / O-Minimal Model Theory | Model-theoretic settings where definable sets have well-behaved geometric structure. | O-minimal structures, cell decomposition, definable manifolds, real closed fields, tame geometry, semialgebraic sets. |
This field map forms the foundation for everything that follows. Every advanced topic in Model Theory—Hrushovski constructions, definable groups, geometric stability theory, model-theoretic algebra, tame topology, classification of entire mathematical theories—emerges as a combination of these core domains.
How the Fields of Model Theory Relate
Model Theory is built on a deeply layered semantic structure: Structures & Interpretations define the raw semantic universe, Satisfaction determines truth, Definability measures expressive ability, Quantifier Theory determines how expressive power expands or collapses, Classification Theory organizes theories by complexity, and O-minimality describes the geometric tameness of definable sets.
These fields reinforce one another, forming the complete semantic, expressive, and geometric foundation of logical meaning.
1. Structures, Languages & Interpretations → the semantic foundation
This field provides:
- domains
- functions and relations
- interpretations of symbols
- embeddings, isomorphisms
- elementary substructures
It connects directly to:
- Satisfaction (truth in structures)
- Definability (expressible sets)
- Quantifier Theory (interpreted formulas)
- Classification Theory (model invariants)
- O-Minimality (structured interpretations)
Structures are the deepest layer of Model Theory.
2. Satisfaction & Definability Theory → truth and expressible sets
This domain explains:
- semantic truth (⊨)
- definable sets and functions
- types and complete theories
- elementary equivalence
- quantifier elimination
It links to:
- Quantifier Theory (elimination and expressiveness)
- Classification Theory (behavior of types)
- O-Minimality (definable geometry)
Definability is the engine of semantic expressiveness.
3. Quantifier Theory & Model Completeness → power of description
Quantifier Theory governs:
- expressive strength
- model completeness
- quantifier elimination
- decidability results
- interpolation properties
It connects to:
- Definability (eliminating quantifiers changes definable sets)
- O-Minimality (requires QE)
- Classification Theory (interplay with stability)
Quantifiers determine what a theory can and cannot describe.
4. Classification Theory → stability, independence, and complexity
Classification Theory describes:
- stable theories
- simple theories
- NIP/NTP families
- independence & forking
- dividing lines
- Morley rank
It links to:
- Definability (types, ranks, invariants)
- Quantifier Theory (structure of QE theories)
- O-Minimality (regular independence relations)
Classification Theory is the taxonomy of logical theories.
5. Tame / O-Minimal Model Theory → geometry of definable sets
O-Minimality governs:
- cell decomposition
- tame topology
- definable manifolds
- real closed fields
- structured combinatorics
It connects across:
- Definability (tame definable sets)
- Classification Theory (tame independence)
- Quantifier Theory (elimination and completeness)
Tame Model Theory is the geometric frontier of the discipline.
The Structure in One Polished Chain
Structures define the semantic objects.
Satisfaction assigns truth inside those objects.
Definability describes the sets and functions a language can express.
Quantifier Theory determines expressive strength and completeness.
Classification Theory organizes theories by stability and complexity.
Tame Geometry provides structured, well-behaved universes of definability.
Together, these five fields form the complete intellectual framework of Model Theory — the foundation on which the semantics, expressive power, and geometric behavior of formal languages are built.