Об элементарных теориях конечно-определенных луп со свойством обратимости

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