СПЕЦИФИЦИРУЕМОСТЬ ЭФФЕКТИВНО ОТДЕЛИМЫХ АЛГЕБР

Abstract

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