Допустимый набор - Admissible set

В теория множеств, дисциплина в математике, допустимый набор это переходный набор ${displaystyle A,}$ такой, что ${displaystyle langle A,in angle }$ это модель из Теория множеств Крипке – Платека. (Барвайз, 1975).

Наименьший пример допустимого множества - это множество наследственно конечные множества. Другой пример - набор наследственно счетные множества.

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

• Допустимый порядковый номер

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

• Барвайз, Джон (1975). Допустимые множества и структуры: подход к теории определимости, Перспективы математической логики, Том 7, Springer-Verlag. Электронная версия на Проект Евклид.