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