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 que no es isomórfico 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. Los modelos no estándar se pueden elegir como extensiones elementales o subestructuras elementales del modelo previsto.
Los modelos no estándar se estudian en teoría de conjuntos , análisis no estándar y modelos aritméticos no estándar .