Кузнецов С.Л. Алгебры Клини с делениями и их теории ()

Аннотация. Операции делений в частично упорядоченных алгебраических структурах восходят ещё к довоенным работам Крулля, Варда и Дилворта. Структуры, в которых вместе с делениями присутствует операция итерации («звёздочка Клини»), называются алгебрами Клини с делениями. Вопрос об алгоритмической разрешимости эквациональной теории (т.е. множества общезначимых равенств термов) для класса всех алгебр Клини с делениями поставил Козен в 1994 г. Ответ на вопрос отрицателен; будет изложена схема доказательства нера