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

Вводится понятие локального конуса, определяемого конструктивной моделью в классе конструктивных моделей. Устанавливается точная оценка сложности индексного множества локального конуса в случае вычислимости класса конструктивных моделей. Доказываются два достаточных условия вычислимости подкласса, дополняющего локальный конус до всего класса, в объединении с конструктивной моделью, определяющей этот конус. При этом индексные множества локального конуса и его дополнения могут быть достаточно сложными.
Библиогр. 4.