|
Алгебра и логика, 1989, том 28, номер 1, страницы 3–17
(Mi al2042)
|
|
|
|
Эта публикация цитируется в 9 научных статьях (всего в 11 статьях)
Полнота в арифметической иерархии и неподвижные точки
М. М. Арсланов
Аннотация:
Доказываются критерии $\Sigma_m$-полноты $\Sigma_n$-множеств при $1\leqslant m\leqslant n$,
основанные на различных обобщениях теоремы о рекурсии. Эти критерии используются для классификации индексных множеств, связанных с $r$-эквивалентностью рекурсивно-перечислимых множеств или их скачков для различных сводимостей $r$.
Поступило: 27.04.1987
Образец цитирования:
М. М. Арсланов, “Полнота в арифметической иерархии и неподвижные точки”, Алгебра и логика, 28:1 (1989), 3–17
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2042 https://www.mathnet.ru/rus/al/v28/i1/p3
|
Статистика просмотров: |
Страница аннотации: | 133 | PDF полного текста: | 44 | Список литературы: | 1 |
|