Model theory of finite-by-Presburger Abelian groups and finite extensions of p-adic fields

arXiv1603.08601MaRDI QIDQ6271958FDOQ6271958

Publication date: 28 March 2016

Abstract: 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 of the local field. We apply these results to give a new proof of the model completeness in the ring language of a local field of characteristic zero (a result that follows also from work of Prestel-Roquette).

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Field arithmetic (12E30) Non-Archimedean valued fields (12J25) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10) General valuation theory for fields (12J20) Model theory (number-theoretic aspects) (11U09) Formally (p)-adic fields (12J12)

This page was built for publication: Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6271958)