Эндоморфизмы группы всех рекурсивных перестановок

Описаны все эндоморфизмы группы всех рекурсивных перестановок. Доказано, что их счетное число, все они непрерывны и могут быть определены некоторыми естественными рекурсивными операторами. Орбиты при действии образа этой группы относительно гомоморфизма оказываются рекурсивными, и существует рекурсивная модель $\mathcal{M}$, для которой этот образ является в точности группой всех рекурсивных автоморфизмов. Существует универсальный эндоморфизм, который в некотором смысле содержит все эндоморфизмы этой группы. Этот универсальный эндоморфизм единствен с точностью до некоторой естественной рекурсивной эквивалентности.