Свободные разложения и алгоритмические проблемы в $R$-многообразиях универсальных алгебр

Указывается (и описывается системами квазитождеств) класс многообразий универсальных алгебр, в которых положительно разрешимы алгоритмические проблемы тождества слов, изоморфизма и вхождения, а также имеют место теоремы о свободных алгебрах и свободных произведениях алгебр, аналогичные теоремам Нильсена–Шрейера, Куроша и некоторым следствиям теоремы Грушко из теории групп.
Библиография: 17 названий.