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