The axiomatic closure of the class of discriminating groups
In  squarelike groups were defined to be those groups G universally equivalent to their direct squares G × G. In that paper it was shown that G is squarelike if and only if G is universally equivalent to a discriminating group in the sense of . Further it was shown that the class of squarelike groups is first-order axiomatizable while the class of discriminating groups is not. In this paper, we prove that the class of squarelike groups is the least axiomatic class containing the discriminating groups.
Mathematics Subject Classification (2000):Primary 20A05 Secondary 08C10 20E26.
Unable to display preview. Download preview PDF.