О гомоморфизмах на эффективно отделимые алгебры

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