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...
| প্রধান লেখক: | , |
|---|---|
| বিন্যাস: | Journal article |
| প্রকাশিত: |
Cornell University
2016
|