1: \begin{abstract} 

2: We define a class of pre-ordered abelian groups that we call 

3: finite-by-Presburger groups, and prove that 

4: their theory is model-complete. We show that certain quotients of the multiplicative group 

5: of a local field of characteristic zero are finite-by-Presburger and interpret the higher residue rings of the local field. 

6: 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).

7: \end{abstract}

8: