Эффективные операции выбора на конструктивных и позитивных моделях

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