Об алгоритмической размерности унаров

Изучены вопросы о различаемости алгоритмических размерностей разных типов и влияние констант на авторазмерность модели. Доказывается, что существует унар счетной авторазмерности, существенная, программная и равномерная размерности которого равны 1. Построена существенно устойчивая, но не программно устойчивая модель.