RUS  ENG
Полная версия
ЖУРНАЛЫ // Математический сборник // Архив

Матем. сб., 1976, том 101(143), номер 1(9), страницы 21–43 (Mi sm2939)

Итерированная клиниевская вычислимость и суперджамп

Н. В. Белякин


Аннотация: В работе изучаются рекурсивные иерархии, полученные посредством итерации известной версии рекурсивности относительно объектов типа $\leqslant2$, разработанной С. К. Клини. Итерация происходит вдоль ординальных нумераций, которые, в определенной смысле, являются эффективно построенными. Дается оценка классов, соответствующих критическим точкам рассматриваемых иерархий.
Библиография: 10 названий.

УДК: 517.11+518.5

MSC: 02F27, 02F35

Поступила в редакцию: 03.06.1975


 Англоязычная версия: Mathematics of the USSR-Sbornik, 1976, 30:1, 17–37

Реферативные базы данных:


© МИАН, 2024