О числе неавтоэквивалентных конструктивизаций

Изучаются классы всех конструктивизаций конструктивной модели с разрешимой $\exists$-теорией с точностью до автоэквивалентности и рекурсивной эквивалентности. В частности, показано, что если модель неавтоустойчива, то эти классы бесконечны.