In
model theory, a discipline within
mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
, a non-standard model is a model of a theory that is not
isomorphic to the
intended model (or standard model).
[Roman Kossak, 2004 ''Nonstandard Models of Arithmetic and Set Theory'' American Mathematical Soc.]
Existence
If the intended model is infinite and the language is
first-order
In mathematics and other formal sciences, first-order or first order most often means either:
* "linear" (a polynomial of degree at most one), as in first-order approximation and other calculus uses, where it is contrasted with "polynomials of high ...
, then the
Löwenheim–Skolem theorems guarantee the existence of non-standard models. The non-standard models can be chosen as
elementary extension In model theory, a branch of mathematical logic, two structures ''M'' and ''N'' of the same signature ''σ'' are called elementarily equivalent if they satisfy the same first-order ''σ''-sentences.
If ''N'' is a substructure of ''M'', one oft ...
s or
elementary substructures of the intended model.
Importance
Non-standard models are studied in
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
,
non-standard analysis
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using epsilon–delta ...
and
non-standard models of arithmetic.
See also
*
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 un ...
References
{{DEFAULTSORT:Non-Standard Model
Model theory