Квазитождества абсолютно свободных алгебр

Доказано, что квазимногообразие, порожденное абсолютно свободной алгеброй конечной сигнатуры, имеет рекурсивный независимый базис квазитождеств; этот базис выписывается в явном виде по модулю некоторого отношения эквивалентности.