Стандартная модель (теория множеств)
В теории множеств стандартной моделью для теории T является модель M для T , где отношение членства ∈ M такое же, как отношение членства ∈ теоретико-множественной вселенной V (ограниченной областью M ). Другими словами, M является подструктурой V. , согласно которому из Стандартная модель M , которая удовлетворяет дополнительному транзитивности условию x ∈ y ∈ M следует, что x ∈ M, является стандартной транзитивной моделью (или просто транзитивной моделью ).
Обычно, когда говорят о модели M теории множеств, предполагается, что M является моделью множества , т.е. областью определения M является множество в V. Если областью определения M является собственный класс , то M является моделью классов. . обязательно Внутренняя модель является моделью класса.
Ссылки
[ редактировать ]- Коэн, П.Дж. (1966). Теория множеств и гипотеза континуума . Аддисон-Уэсли. ISBN 978-0-8053-2327-6 .
- Чоу, Тимоти Ю. (2007). «Руководство по форсированию для начинающих». arXiv : 0712.1320 [ math.LO ].
 | Эта теории множеств статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |