Логические спецификации эффективно отделимых моделей данных

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