Об универсальной частично рекурсивной функции

Пусть $\psi$ – универсальная частично рекурсивная функция (ч.р.ф.). Показано, что для каждого $n\geqslant1$ множество всех $n$-членных циклов функции $\psi$ креативно. Доказано также, что в случае, когда область значений ч.р.ф. $\alpha$ есть натуральный ряд, а область значений ч.р.ф. $\beta$ проста или коконечна, то $\alpha\psi\beta$ универсальна. Указываются необходимые и достаточные условия для того, чтобы рекурсивно перечислимое множество было сплинтером подходящей универсальной функции.
Библиогр. 2 назв.