Abstract
Every infinite mathematical structure \( \mathcal{M} \) has an extension \( {\mathcal{M}}^{\ast } \) that has the same first-order properties as \( \mathcal{M} \), but is not isomorphic to \( \mathcal{M} \). In this sense, \( {\mathcal{M}}^{\ast } \) can be considered a nonstandard extension of \( \mathcal{M} \). A short discussion of the idea of nonstandard models is followed by proofs of three easy standard results that use nonstandard extensions in essential ways. The aim is to explain basic model-theoretic concepts behind such proofs.
Similar content being viewed by others
References
D’Aquino P, Knight JF, Starchenko S (2010) Real closed fields and models of Peano arithmetic. J Symb Log 75(1):1–11. https://doi.org/10.2178/jsl/1264433906. https://doi-org.ezproxy.gc.cuny.edu/10.2178/jsl/1264433906
Doets K (1996) Basic model theory. Studies in logic, language and information. CSLI Publications, Stanford; FoLLI: European Association for Logic, Language and Information, Amsterdam
Dolich A, Knight JF, Lange K, Marker D (2015) Representing Scott sets in algebraic settings. Arch Math Log 54(5–6):631–637. https://doi.org/10.1007/s00153-015-0431-1. https://doi-org.ezproxy.gc.cuny.edu/10.1007/s00153-015-0431-1
Gaifman H (2004) Non-standard models in a broader perspective. In: Nonstandard models of arithmetic and set theory, Contemporary mathematics, vol 361. American Mathematical Society, Providence, pp 1–22. https://doi.org/10.1090/conm/361/06585. https://doi-org.ezproxy.gc.cuny.edu/10.1090/conm/361/06585
Kossak R, Schmerl JH (2006) The structure of models of Peano arithmetic, Oxford logic guides, vol 50. The Clarendon Press, Oxford University Press, Oxford. https://doi.org/10.1093/acprof:oso/9780198568278.001.0001. https://doi-org.ezproxy.gc.cuny.edu/10.1093/acprof:oso/9780198568278.001.0001. Oxford Science Publications
Leibman G (2005) A nonstandard proof of the fundamental theorem of algebra. Am Math Mon 112(8):705–712. https://doi.org/10.2307/30037572. https://doi-org.ezproxy.gc.cuny.edu/10.2307/30037572
Loeb PA, Wolff MPH (eds) (2015) Nonstandard analysis for the working mathematician, 2nd edn. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-7327-0. https://doi-org.ezproxy.gc.cuny.edu/10.1007/978-94-017-7327-0
Phillips RG (1974) Omitting types in arithmetic and conservative extensions. In: Victoria symposium on nonstandard analysis (Univ. Victoria, Victoria, B.C., 1972), Lecture notes in mathematics, vol 369, pp 195–202
Schoutens H (2010) The use of ultraproducts in commutative algebra, Lecture notes in mathematics, vol 1999. Springer, Berlin. https://doi.org/10.1007/978-3-642-13368-8. https://doi-org.ezproxy.gc.cuny.edu/10.1007/978-3-642-13368-8
Tao T (2013) Compactness and contradiction. American Mathematical Society, Providence. https://doi.org/10.1090/mbk/081. https://doi-org.ezproxy.gc.cuny.edu/10.1090/mbk/081
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this entry
Cite this entry
Kossak, R. (2020). Model Theory of Nonstandard Structures with Applications. In: Sriraman, B. (eds) Handbook of the History and Philosophy of Mathematical Practice. Springer, Cham. https://doi.org/10.1007/978-3-030-19071-2_71-1
Download citation
DOI: https://doi.org/10.1007/978-3-030-19071-2_71-1
Received:
Accepted:
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19071-2
Online ISBN: 978-3-030-19071-2
eBook Packages: Springer Reference MathematicsReference Module Computer Science and Engineering