Вычислимость и универсальная определимость негативно представимых моделей

Установлено, что негативная представимая модель вычислима тогда и только тогда, когда ее стандартное обогащение константами изоморфно вложимо во всякую модель подходящего вычислимо перечислимого множества универсальных предложений, реализующегося в данной модели. Показано, что для вычислимо перечислимых множеств экзистенициальных предложений это утверждение неверно.