|
Итерированная клиниевская вычислимость и суперджамп
Н. В. Белякин
Аннотация:
В работе изучаются рекурсивные иерархии, полученные посредством итерации известной версии рекурсивности относительно объектов типа $\leqslant2$, разработанной С. К. Клини. Итерация происходит вдоль ординальных нумераций, которые, в определенной смысле, являются эффективно построенными. Дается оценка классов, соответствующих критическим точкам рассматриваемых иерархий.
Библиография: 10 названий.
Поступила в редакцию: 03.06.1975
Образец цитирования:
Н. В. Белякин, “Итерированная клиниевская вычислимость и суперджамп”, Матем. сб., 101(143):1(9) (1976), 21–43; N. V. Beljakin, “Iterated Kleene computability and the superjump”, Math. USSR-Sb., 30:1 (1976), 17–37
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm2939 https://www.mathnet.ru/rus/sm/v143/i1/p21
|
Статистика просмотров: |
Страница аннотации: | 271 | PDF русской версии: | 93 | PDF английской версии: | 16 | Список литературы: | 47 |
|