Publications > Preprint server > Preprint Number 735
Preprint Number 735
735. Jamshid Derakhshan and Angus Macintyre
Model completeness for finite extensions of p-adic fields
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:
|Last updated: June 26 2014 13:01||Please send your corrections to:|