Спектры вычислимых моделей эренфойхтовых теорий

Строится пример теории с конечным (большим единицы) числом типов изоморфизма счётных моделей такой, что её простая и насыщенная модели обладают вычислимыми представлениями и существует модель, таковым представлением не обладающая.