In model theory, a nonstandard model is a model of a theory that differs from (i.e. is not isomorphic to) the intended model. If the intended model is infinite, then the Löwenheim-Skolem theorems guarantee the existence of nonstandard models. The nonstandard models can be chosen as elementary extensions or elementary substructures of the intended model.
Nonstandard models are studied in set theory, non-standard analysis, and non-standard arithmetic.
This entry was posted
on Sunday, June 29th, 2008 at 1:05 pm and is filed under Nonstandard model, scanning, software, Uncategorized.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.
Leave a Comment
You must be logged in to post a comment.