|
Алгебра и логика, 1983, том 22, номер 6, страницы 666–692
(Mi al1841)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Иерархии гиперарифметических множеств и функций
В. Л. Селиванов
Аннотация:
Излагается общий метод построения иерархий гиперарифметических множеств и функций. Метод основан на итерировании некоторой трехместной операции, естественно включающей в себя операции тъюрингова скачка, $m$-скачка и прямой суммы нумераций. Построенный класс иерархий содержит гиперарифметическую иерархию, различные релятивизованные варианты иерархии Ершова и иерархии предельно вычислимых функций. Доказанные свойства плотности и дискретности найденных иерархий позволяют надеяться, что выделен максимальный класс иерархий гиперарифметических множеств и функций.
Поступило: 02.06.1983
Образец цитирования:
В. Л. Селиванов, “Иерархии гиперарифметических множеств и функций”, Алгебра и логика, 22:6 (1983), 666–692
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1841 https://www.mathnet.ru/rus/al/v22/i6/p666
|
Статистика просмотров: |
Страница аннотации: | 85 | PDF полного текста: | 53 |
|