Проблема равенства в неассоциативных кольцах

Для многообразий всех неассоциативных, коммутативных, антикоммутативных и лиевых колец доказываются две теоремы.
Теорема 1. Проблема равенства разрешима в кольцах, заданных одним определяющим соотношением в любом из перечисленных многообразий, и неразрешима в самих этих многообразиях.
Теорема 2. Теории типов $\forall\exists$, $\forall \neg\vee$ и только они являются $SA$-критическими теориями каждого из четырех указанных многообразий.