Новые алгебраические инварианты для формульных подмножеств универсальных алгебр

Рассматриваются вопросы, связанные со сравнением универсальных алгебр относительно их условных алгебраических геометрий. Эти сравнения допускают достаточно естественную алгебраическую интерпретацию. Строящиеся на основе этих отношений геометрические шкалы многообразий алгебр представляют собой естественный инструмент для классификации многообразий алгебр, в частности, дискриминаторных многообразий.