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