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 $G$ has stronger classification strength than $H$ if every orbit equivalence relation induced by a continuous action of $H$ on a Polish space can be "emulated" by such an action of $G$ in the sense of Borel reduction. Among the non-Archimedean Polish groups, the groups with the highest classification strength are those that involve $S_\infty$, 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 for a particular coanalytic rank function, are all equivalent to a non-Archimedean Polish group involving $S_\infty$. Furthermore, we show the equivalence relation $=^+$, which is a relatively simple benchmark equivalence relation in the theory of Borel reducibility, can only be classified by such groups that involve $S_\infty$.

An example of a non non-archimedean Polish group with ample generics

Classification Strength of Polish Groups I: Involving $S_\infty$

On surjectively universal Polish groups

Abelian and Non-Abelian Paley Type Group Schemes

Haar-$\mathcal I$ sets: looking at small sets in Polish groups through compact glasses

$\aleph_1$-free abelian non-Archimedean Polish groups

Generics in invariant subsets of some highly homogeneous permutation groups

On equivalence relations induced by Polish groups admitting compatible two-sided invariant metrics

Polish topologies on groups of non-singular transformations

A universal Polish G-space

Every Polish group has a non-trivial topological group automorphism

Generalized Polish spaces at regular uncountable cardinals

Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum

Displaying Polish groups on separable Banach spaces

A HIERARCHY ON NON-ARCHIMEDEAN POLISH GROUPS ADMITTING A COMPATIBLE COMPLETE LEFT-INVARIANT METRIC

Inner ultrahomogeneous groups

Spin alignments of vector mesons in deeply inelastic lepton-nucleon scattering

New Examples of Small Polish Structures

On equivalence relations induced by locally compact TSI Polish groups admitting open identity component

Archimedean l-groups with strong unit: cozero-sets and coincidence of types of ideals

Archimedean l -groups with strong unit: cozero-sets and coincidence of types of ideals