Elementary and universal equivalence of group rings

We introduce three first-order languages with equality Ln, n = 0, 1, 2. We list axioms Tn expressed in Ln and view a group as a model of T0 and a ring as a model of T1. Moreover, we view the class ...