Получено необходимое и достаточное условие конструтивизируемости нильпотентной группы без кручения, размерность коммутанта которой кончена. Усовершенствована методика получения нижних оценок сложности распознавания теорий, и найдена такая оценка для теорий класса булевых алгебр и булевой алгебры из двух элементов.*