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

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

• 1 Существование
• 2 Важность
• 3 См. Также
• 4 Ссылки

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

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

• Интерпретация (логика)
• Нестандартная модель арифметики
• Нестандартный анализ