Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are finite-by-Presburger and interpret the higher residue rings...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Cornell University
2016
|