Modelo no estándar - Non-standard model
En la 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 que no es isomórfica al modelo pretendido (o modelo estándar).
Existencia
Si el modelo pretendido es infinito y el lenguaje es de primer orden , entonces los teoremas de Löwenheim-Skolem garantizan la existencia de modelos no estándar. Los modelos no estándar se pueden elegir como extensiones elementales o subestructuras elementales del modelo previsto.
Importancia
Modelos no estándar se estudian en la teoría de conjuntos , el análisis no estándar y modelos no estándar de la aritmética .