Нестандартная модель
(Перенаправлено с Нестандартной модели )
В теории моделей , дисциплине математической логики , нестандартная модель — это модель теории, которая не изоморфна предполагаемой модели (или стандартной модели). [1]
Существование [ править ]
Если предполагаемая модель бесконечна, а язык имеет первый порядок , то теоремы Левенхайма – Скулема гарантируют существование нестандартных моделей. Нестандартные модели могут быть выбраны как элементарные расширения или элементарные подструктуры предполагаемой модели.
Важность [ править ]
Нестандартные модели изучаются в теории множеств , нестандартном анализе и нестандартных моделях арифметики .
См. также [ править ]
Ссылки [ править ]
- ^ Роман Коссак, 2004 г. Нестандартные модели арифметики и теории множеств American Mathematical Soc.