О принципах вычислимости на допустимых множествах

Изучаются принципы дескриптивной теории множеств, которые переносятся с $e$-идеалов на допустимые множества. В основном работа посвящена изучению свойств главных $e$-идеалов. Приводится конструкция допустимого множества, соответствующего главному $e$-идеалу, сохраняющая большинство основных свойств теории вычислимости данного $e$-идеала: принципы перечислимости, униформизации, существования универсальной функции и отделимости. Кроме того, найдены точные соотношения между вышеприведенными свойствами на главных идеалах. Также найдены точные арифметические и структурные сложностные оценки для разделяющих степеней. Данное описание используется для нахождения соотношений между свойствами на допустимых множествах.