Equations over direct powers of algebraic structures in relational languages

Abstract

We study equations over relational structures that approximate groups and semigroups. For such structures we proved the criteria, when a direct power of such algebraic structures is equationally Noetherian.