В математической области дескриптивной теории множеств точечный класс можно назвать адекватным , если он содержит все рекурсивные точечные множества и замкнут относительно рекурсивной подстановки, ограниченной универсальной и экзистенциальной квантификации и прообразов рекурсивных функций. [1] [2]
Ссылки
- ^ Мошовакис, YN (1987), Описательная теория множеств, Исследования по логике и основаниям математики, Elsevier, стр. 158, ISBN 9780080963198.
- ^ Габбей, Дов М.; Канамори, Акихиро; Вудс, Джон (2012), Множества и расширения в двадцатом веке, Справочник по истории логики, т. 6, Elsevier, стр. 465, ISBN 9780080930664.
