Локальные классы и вычислимые индексации

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