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

Non-standard model

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

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

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

Важность

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

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

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

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