Допустимый набор
В теории множеств , математической дисциплине, допустимое множество — это транзитивное множество. такой, что представляет собой модель теории множеств Крипке – Платека (Barwise 1975).
Наименьшим примером допустимого множества является множество наследственно конечных множеств . Другой пример — множество наследственно счетных множеств .
См. также
[ редактировать ]Ссылки
[ редактировать ]- Барвайз, Джон (1975). Допустимые множества и структуры: подход к теории определимости , Перспективы математической логики, том 7, Springer-Verlag. Электронная версия по проекту Евклид .