Разрешимость элементарных теорий некоторых конечно-определенных алгебр

Формулируются достаточные условия, при выполнении которых элементарная теория конечно-определенной алгебры оказывается разрешимой. Эти условия выполняются в случае квазигрупп и луп.