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