Сложность индексного множества конструктивной модели

Дается оценка сложности индексного множества конструктивной модели в вычислимой индексации класса конструктивных моделей. Построен пример, показывающий, что понятия “невычислимый класс конструктивных моделей” и “эффективно бесконечный класс конструктивных моделей” различаются.