Вычислимо отделимые нумерации локально финитно отделимых алгебр

Аннотация

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