Алгоритмические размерности гомоморфных образов моделей

Исследуется спектр алгоритмических размеров рекурсивных гомоморфных образов конструктивных автоустойчивых (не автоустойчивых) моделей. В частности, доказано, что р.п. подмножества $\omega$, замкнутые относительно умножения натуральных чисел, могут быть реализованы в качестве спектра алгоритмических размеров рекурсивных гомоморфных образов подходящих конструктивных моделей.