Modelo no-estándar

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).​.

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

• Datos: Q3318128