Нестандартная модель - Non-standard model

В теория моделей, дисциплина внутри математическая логика, а нестандартная модель модель теории, которая не изоморфный к предполагаемая модель (или стандартная модель).^[1]

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

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

Важность

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

Смотрите также

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

Рекомендации

1. Роман Коссак, 2004 г. Нестандартные модели арифметики и теории множеств American Mathematical Soc.