A note on $\mu$-stabilizers in ACVF

Jinhe Ye

We study $\mu$-stabilizers for groups definable in ACVF in the valued field sort. We prove that ${\mathrm{Stab}}^{\mu }(p)$ is an infinite unbounded definable subgroup of $G$ when $p$ is st…