En teoría de modelos, una disciplina dentro de la lógica matemática, un modelo no-estándar es un modelo de una teoría axiomática que no es isomorfo al modelo pretendido (o modelo estándar o usual).Roman Kossak, 2004 Nonstandard Models of Arithmetic and Set Theory American Mathematical Soc.
Existencia Si el modelo pretendido es infinito y el lenguaje es de primer orden, entonces el teorema de Löwenheim-Skolems garantiza la existencia de modelos no estándar. Los modelos no estándar pueden elegirse como extensión elementals o subestructura elementals del modelo pretendido.
Importancia Los modelos no estándar se estudian en teoría de conjuntos, análisis no estándar y modelos no estándar de aritmética.
Véase también Interpretación (lógica) Referencias
Bibliografía Wilfrid Hodges, A shorter model theory (1997) Cambridge University Press ISBN 0-521-58713-1 C. C. Chang, H. J. Keisler Model theory (1977) ISBN 0-7204-0692-7 David Marker Model Theory: An Introduction (2002) Springer-Verlag, ISBN 0-387-98760-6 María Manzano, Teoría de Modelos, (1989), Madrid, Alianza, ISBN 84-206-8126-1 María Manzano, Model Theory, (1999), Oxford, Oxford University Press, ISBN 0-19-853851-0
Categoría:Teoría de modelos