Нестандартная модель

В теории моделей , дисциплине математической логики , нестандартная модель — это модель теории, которая не изоморфна предполагаемой модели (или стандартной модели).

Существование

Если предполагаемая модель бесконечна, а язык имеет первый порядок , то теоремы Левенхайма – Скулема гарантируют существование нестандартных моделей. Нестандартные модели могут быть выбраны как элементарные расширения или элементарные подструктуры предполагаемой модели.

Важность

Нестандартные модели изучаются в теории множеств , нестандартном анализе и нестандартных моделях арифметики .

См. также

• Интерпретация (логика)