Новый спектр вычислимых моделей

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