TY - RPRT TI - Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields AU - Jamshid Derakhshan AU - Angus Macintyre PY - 2016 UR - https://arxiv.org/abs/1603.08601 ID - 1603.08601 ER -