Алгоритмическая сложность счетных моделей сильно минимальных теорий

Получено положительное решение гипотезы С. Лемппа. Доказано, что все счетные модели сильно минимальных теорий вычислимы с оракулом $0^2$, если эта теория имеет хотя бы одну вычислимую модель.