Submission date: 1 Novemebr 2023

Abstract:

We investigate the model completeness of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group with finite spines, and the case in which the value group is elementarily equivalent to the infinite lexicographic sum of ℤ with a minimal positive element. In both cases, we find a one-sorted language in which the theory of the valued field is model complete, if the theory of the residue field is model complete in the language of rings.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2311.00411: pdf, ps.