Невозможность конечного порождения частично-рекурсивных функций унарной изотопной операцией

Пусть $\mathfrak{L}$ – множество всех одноместных частично-рекурсивных функций. Доказано, что не существует эффективной унарной операции $F$ на $\mathfrak{L}$ такой, чтобы алгебра $\langle\mathfrak{L};F\rangle$ имела бы конечный базис. Строятся две унарные эффективные операции $F_1$ и $F_2$ такие, что алгебра $\langle\mathfrak{L};f_1,F_2\rangle$ имеет одноэлементный базис. Строится также эффективная бинарная операция $G$ такая, что алгебра $\langle\mathfrak{L};G\rangle$ имеет одноэлементный базис. Библиогр. 2 назв.