A result obtained by A. Macintyre and J. Derakhshan states that the theory of a mixed characteristic henselian valued field with finite ramification, perfect residue field and whose value group is a Z-group, is model complete in the language of…
A result obtained by A. Macintyre and J. Derakhshan states that the theory of a mixed characteristic henselian valued field with finite ramification, perfect residue field and whose value group is a Z-group, is model complete in the language of…