An example of a non non-archimedean Polish group with ample generics (1503.03919v1)

Abstract: 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 on $I$. We show that if $\mbox{Fin} \subsetneq I$, then $S_I$ has ample generics. This implies that there exists a non non-archimedean Polish group with ample generics.