Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 735

Preprint Number 735

Previous Next Preprint server

735. Jamshid Derakhshan and Angus Macintyre
Model completeness for finite extensions of p-adic fields
E-mail: ,

Submission date: 3 June 2014.


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.

Last updated: June 26 2014 13:01 Please send your corrections to: