Theory of square-like abelian groups is decidable

Oleg Belegradek

A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatizati…