Эффективные R- множества и трансфинитные продолжения рекур- сивных иерархий. Fundamenta Mathematicae, 1970, 68, 61
–
86.
Пoлучена редакцией 17.04.1969.
Благодарит A.A., привлёкшего eго внимание к рассматриваемым
вопросам и Б.А., ознакомившего А. Мостовского с eго результатами.
A5 .
О разложении тела множеств, получаемых R- операцией, над рекур- сивными множествами. Доклады АН СССР, 1970, т. 191, № 4, 743
–
746.
A6. Рекурсивность относительно функционалов и R c -
операции. Тезисы доклада на Второй всесоюзной конференции по матема-
тической логике, Москва, 1972.
A7. О вычислимости с функционалами. Алгебра и логика, 1973, т. 12,
№ 5,
497
–
511
. A8. О сравнении индексов, возникающих при трансфинитной итерации функций. Сибирский математический журнал, 1973, т. 14, № 4,
699
–
725.
Получена в сентябре 1971. Посвящена 60-летию А.А.
Впервые результаты о сравнении индексов были получены
П.С. Но виковым для операции решета. Они были обобщены А.А. Ля-
пуновым применительно к
R -операциям и их расширениям (наиболее
общий результат в [Л1]), а В.И. Амстиславским
–
для
R -операций над
288
V. УЧИТЕЛЬ И УЧЕНИК
рекурсивно перечислимыми последовательностями общерекурсивных
множеств [А4]. Результаты статьи применяются к классическим и эф-
фективным
R -множествам.
A9. Рекурсивность и R с -