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

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