Interpretation (model theory)

In model theory, interpretation of a structure "M" in another structure "N" (typically of a different signature) is a technical notion that approximates the idea of representing "M" inside "N". For example every reduct or definitional expansion of a structure "N" has an interpretation in "N".

Many model-theoretic properties are preserved under interpretability. For example if the theory of "N" is stable and "M" is interpretable in "N", then the theory of "M" is also stable.

Definition

An interpretation of "M" in "N" with parametersis a pair $(n,f)$ where"n" is a natural number and $f$ is a surjective map from a subset of"Nⁿ" onto "M"such that the $f$-preimage (more precisely the $f^k$-preimage) of every set "X" ⊆ "M^k" definable in "M" by a first-order formula without parametersis definable (in "N") by a first-order formula with (possibly) parameters.An interpretation $(n,f)$ with parameters is called an"interpretation without parameters" ifthe $f$-preimage of every set definable "without" parameters is alsodefinable "without" parameters.Since the value of "n" for an interpretation $(n,f)$ is often clear from the context, the map $f$ itself is also called an interpretation.

It is customary in model theory to use the terms "definable, 0-definable, interpretation, 0-interpretation" instead of, respectively,"definable with parameters, definable without parameters, interpretation with parameters," and"interpretation without parameters."

If "L, M" and "N" are three structures, "L" is interpreted in "M,"and "M" is interpreted in "N," then one can naturally construct a composite interpretation of "L" in "N."If two structures "M" and "N" are interpreted in each other, then by combining the interpretations in two possible ways, one obtains an interpretation of each of the two structure in itself.This observation permits to define an equivalence relation among structures, reminiscent of the homotopy equivalence among topological spaces.

Two structures "M" and "N" are bi-interpretable if there exist an interpretation of "M" in "N" and an interpretation of "N" in "M" such that the composite interpretations of "M" in itself and of "N" in itself are definable in "M" and in "N", respectively (the composite interpretations being viewed as operations on "M" and on "N").

Example

The partial map $f$ of $mathbb\; Z\; imesmathbb\; Z$ onto $mathbb\; Q$ defined by$(x,y)mapstofrac\{x\}\{y\}$ provides an interpretation of the field of rational numbers in the ring of integers (to be precise, the interpretation is $(2,f)$).In fact, this particular interpretation is often used to "define" the rational numbers.

References

*
* (Section 4.3)
* (Section 9.4)