Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели

Получены критерии разрешимости некоторых фрагментов универсальных теорий. Это дает, в частности, новые алгебраические характеризации конечно определенных групп с разрешимой проблемой слов и классов конечно определенных групп с разрешимой проблемой тривиальности.
Библ. 13.