Interpretation (model theory)
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 reductor definitional expansionof 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.
An interpretation of "M" in "N" with parametersis a pair where"n" is a natural number and is a surjective map from a subset of"Nn" onto "M"such that the -preimage (more precisely the -preimage) of every set "X" ⊆ "Mk" definable in "M" by a first-order formula without parametersis definable (in "N") by a first-order formula with (possibly) parameters.An interpretation with parameters is called an"interpretation without parameters" ifthe -preimage of every set definable "without" parameters is alsodefinable "without" parameters.Since the value of "n" for an interpretation is often clear from the context, the map itself is also called an interpretation.
It is customary in
model theoryto 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 equivalenceamong 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").
The partial map of onto defined by provides an interpretation of the field of rational numbers in the ring of integers (to be precise, the interpretation is ).In fact, this particular interpretation is often used to "define" the rational numbers.
* (Section 4.3)
* (Section 9.4)
Wikimedia Foundation. 2010.
Look at other dictionaries:
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
model theory — The use of a model to test for the consistency of an axiomatized system is older than modern logic. Descartes s algebraic interpretation of Euclidean geometry provides a way of showing that if the theory of real numbers is consistent, so is the… … Philosophy dictionary
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Interpretation — Distinguish from interpenetration. Interpreter, interpreting, interpretation can mean:The term interpretation may refer to: *Formal interpretation an abstract model. * Logical interpretation the assignment of meaning to the symbols used in formal … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Model — Contents 1 Physical 1.1 Human models 2 Nonphysical 2.1 … Wikipedia
interpretation — (logic) Informally, an intepretation of a logical system assigns meaning or semantic value to the formulae and their elements. More formally, if we consider a language whose non logical terms include names, function symbols, predicate letters,… … Philosophy dictionary
Theory of computation — In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… … Wikipedia
Theory of multiple intelligences — Human intelligence Abilities and Traits Abstract thought Communication · Creativity Emotional Intelligence Kn … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia