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

Abstract

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