On the universality of systems of words in permutation groups
Manfred Droste, Saharon Shelah · Pacific Journal of Mathematics · 1987
In the classes of infinite symmetric groups, their normal subgroups, and their factor groups, we determine those groups which are equivalent in the sense that they may not be distinguished by the solvability of a system of finitely many equations in variables and parameters.