Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях

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