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
|