Model Completeness for Henselian Fields with finite ramification valued in a Z-Group

arXiv1603.08598MaRDI QIDQ6271957FDOQ6271957

Angus Macintyre, Jamshid Derakhshan

Publication date: 28 March 2016

Abstract: We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a $Z$-group, is model-complete in the language of rings if the theory of its residue field is model-complete in the language of rings. We apply this to prove that every infinite algebraic extension of the field of $p$-adic numbers $Bbb{Q}_p$ with finite ramification is model-complete in the language of rings. For this, we give a necessary and sufficient condition for model-completeness of the theory of a perfect pseudo-algebraically closed field with pro-cyclic absolute Galois group.

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 Completeness for Henselian Fields with finite ramification valued in a $Z$-Group

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