Abstract

In recent years, much work has been done to measure and compare the complexity of orbit equivalence relations, especially for certain classes of Polish groups. We start by introducing some language to organize this previous work, namely the notion of classification strength of Polish groups. Broadly speaking, a Polish group [Formula: see text] has stronger classification strength than [Formula: see text] if every orbit equivalence relation induced by a continuous action of [Formula: see text] on a Polish space can be “emulated” by such an action of [Formula: see text] in the sense of Borel reduction. Among the non-Archimedean Polish groups, the groups with the highest classification strength are those that involve [Formula: see text], the Polish group of permutations of a countably-infinite set. We prove that several properties, including a weakening of the disjoint amalgamation in Fraïssé theory, a weakening of the existence of an absolute set of generating indiscernibles, and not having ordinal rank in a particular coanalytic rank function, are all equivalent to a non-Archimedean Polish group involving [Formula: see text]. Furthermore, we show the equivalence relation [Formula: see text], which is a relatively simple benchmark equivalence relation in the theory of Borel reducibility, can only be classified by such groups that involve [Formula: see text].