发送短信: Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields