Вычислимые классы конструктивизаций моделей конечного типа конструктивности

Исследуются вычислимые классы слабых конструктивизаций для моделей, имеющих сильные конструктивизации. Доказано, что для сильно конструктивизируемых моделей, $n$-полных в некотором конечном обогащении константами, но не являющихся $(n+1)$-полными ни в каком обогащении константами, по любому вычислимому классу конструктивизаций эффективно строится конструктивизация, которая не из этого класса и не является $(n+1)$-конструктивизацией, т.е. ее $(n+1)$-ограниченная теория в обогащении константами для номеров не разрешима.
Библиогр. 14.