Abstract:
We prove that the join of finitely-based varieties of algebras with associative-commutative intersection of bounded index has a finite basis of identities.
Keywords:variety of algebras, join of varieties, finite basedness of a system of identities.