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

Maciej Malicki

For an analytic $P$-ideal $I$, $S_I$ is the Polish group of all the permutations of $\mathbb{N}$ whose support is in $I$, with Polish topology given by the corresponding submeasure…