Объект исследования: полурешетки Роджерса, автоморфизмы колец многочленов, предельные конструктивизации. Показано, что решетка рекурсивно-перечислимых множеств по идеалу конечных множеств вложима в любую полурешетку Роджерса арифметических нумераций. Найдены свойства, отличающие предельно конструктивные модели от классических конструктивых моделей. Результаты могут быть использованы в спецкурсах логики и алгебры.