Об эффективно однородных моделях

Доказана следующая теорема: существует однородная сильно конструктивизируемая модель, имеющая континуум автоморфизмов, но не имеющая ни в какой конструктивизации рекурсивных автоморфизмов, отличных от тождественного. В частности, эта модель не эффективно-однородна ни в какой конструктивизации.
Библиогр. 2.