Нестандартная модель - Non-standard model
В теории моделей , дисциплина в математической логике , нестандартная модель является моделью теории, которая не изоморфна с предполагаемой модели (или стандартной модели).
Существование
Если предполагаемая модель бесконечна и язык первого порядка , то теоремы Левенгейма – Сколема гарантируют существование нестандартных моделей. Нестандартные модели могут быть выбраны как элементарные расширения или элементарные подструктуры предполагаемой модели.
Важность
Нестандартные модели изучаются в теории множеств , нестандартном анализе и нестандартных моделях арифметики .