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