Submission date: 3 June 2014.

Abstract:

We prove that the first-order theory of a finite extension of the field of p-adic numbers is model-complete in the language of rings, for any prime p.

Mathematics Subject Classification:

Keywords and phrases:

Full text: pdf, dvi, ps.