Об одном классе алгебр примитивно-рекурсивных функций

В настоящей работе алгебра Робинсона включается в счетный класс алгебр примитивно-рекурсивных функций. Каждая из алгебр класса содержит операции сложения и композиции функций, а также одну из операций $i_a$, которые определяются следующим образом: $g(x)=i_af(x)$ ($a=0,1,2,\dots$), если $g(x)$ удовлетворяет равенствам $g(0)=a$, $g(x+1)=f(g(x))$. В работе изучаются свойства, которыми обладают все или почти все алгебры из введенного класса. Библ. 5 назв.