Шенфилд Дж. Степени неразрешимости

М.: Наука, 1977. — 192 с.Терминология и обозначения.
Рекурсивные функции.
Изоморфизмы.
Относительная рекурсивность.
Рекурсивная перечислимость.
Степени.
Оценка степеней.
Несравнимые степени.
Верхние и нижние грани.
Операция скачка.
Минимальные степени.
Простые множества.
Метод приоритета.
Теорема о разложении.
Максимальные множества.
Бесконечные нарушения.
Индексные множества.
Ветвящиеся степени.
Дополнения.
К.Е.М. Ейтс. Три теоремы о степенях рекурсивно перечислимых множеств.
А.Х. Лахлан. Решетка рекурсивно перечислимых множеств.
Л. Фейнер. Иерархии булевых алгебр.
Л. Фейнер. Гипотеза сильной однородности.