Соотношения между различными видами относительной вычислимости функций

Изучаются связи между некоторыми сводимостями по перечислимости (включая сводимости, определяемые рекурсивными и $\mu$-рекурсивными операторами) на множестве всех частичных одноместных функций. Устанавливается ряд изоморфных вложений между полурешетками соответствующих степеней. Попутно получено некоторое усиление основной теоремы об операторах.
Рисунков: 3.
Библиография: 11 названий.