Число вычислимых индексаций конечных классов конструктивных моделей

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