Проблема эффективного выбора конструктивизаций

Построен пример конструктивизируемой модели $\mathfrak{M}$ и семейства $K$-вычислимых классов конструктивизаций $\mathfrak{M}$, для которых не возможен эффективный выбор конструктивизаций по проблемам из фиксированного вычислимого семейства $P$.
Библиогр. 6.