Modelo no estándar

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 isomorfo al modelo previsto (o modelo estándar). ^{[ 1 ]}

Si el modelo previsto es infinito y el lenguaje es de primer orden , entonces los teoremas de Löwenheim-Skolem garantizan la existencia de modelos no estándar. Estos modelos no estándar pueden elegirse como extensiones elementales o subestructuras elementales del modelo previsto.

Los modelos no estándar se estudian en la teoría de conjuntos , el análisis no estándar y los modelos no estándar de la aritmética .

• Interpretación (lógica)