Аннотация:
Изучается иерархия предельно вычислимых функций, определяемая по аналогии с иерархией Ершова. Получено описание классов изучаемой иерархии в терминах числа изменения гипотез в предельных вычислениях. Установлена также замкнутость изучаемой иерархии относительно некоторых отображений на классах функций, что является, по-видимому, свидетельством естественности этой иерархии.
Библ. 5.
Н. А. Баженов, М. Мустафа, С. С. Оспичев, “Об универсальных парах в иерархии Ершова”, Сиб. матем. журн., 62:1 (2021), 31–41; N. A. Bazhenov, M. Mustafa, S. S. Ospichev, “On universal pairs in the Ershov hierarchy”, Siberian Math. J., 62:1 (2021), 23–31
В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134; V. L. Selivanov, “Precomplete numberings”, J. Math. Sci. (N. Y.), 256:1 (2021), 96–124
С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 54–62; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536
С. С. Оспичев, “Фридберговы нумерации в иерархии Ершова”, Алгебра и логика, 54:4 (2015), 444–462; S. S. Ospichev, “Friedberg numberings in the Ershov hierarchy”, Algebra and Logic, 54:4 (2015), 283–295