Modelo no-estándar
Apariencia
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).[1].
Existencia[editar]
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[editar]
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[editar]
Referencias[editar]
- ↑ Roman Kossak, 2004 Nonstandard Models of Arithmetic and Set Theory American Mathematical Soc.
Bibliografía[editar]
- 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