Definable equivalence relations and zeta functions of groups
We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we d...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
2015
|