Категория : Эффективная описательная теория множеств

Эффективная описательная теория множеств — это раздел описательной теории множеств, занимающийся множествами вещественных чисел, имеющими световых граней определения ; то есть определения, которые не требуют произвольного вещественного параметра . Таким образом, эффективная дескриптивная теория множеств сочетает в себе дескриптивную теорию множеств с теорией рекурсии .