Non-standard model

In model theory, a discipline within mathematical logic, a non-standard model is a model of a theory that is not isomorphic to the intended model (or standard model).[1]


If the intended model is infinite and the language is first-order, then the Löwenheim–Skolem theorems guarantee the existence of non-standard models. The non-standard models can be chosen as elementary extensions or elementary substructures of the intended model.


Non-standard models are studied in set theory, non-standard analysis and non-standard models of arithmetic.

See also


  1. Roman Kossak, 2004 Nonstandard Models of Arithmetic and Set Theory American Mathematical Soc.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.