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).[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
| Control de autoridades |
|
|---|
Datos: Q3318128