Abstract
We prove that if an equicharacteristic valued field has a ℤ-group as its value group and admits quantifier elimination in the main sort of the prototypical Denef-Pas style language then it is henselian. In fact the proof of this suggests that a reasonable class of Denef-Pas style languages is natural with respect to henselianity.
Citation
Yimu Yin. "Henselianity and the Denef-Pas language." J. Symbolic Logic 74 (2) 655 - 664, June 2009. https://doi.org/10.2178/jsl/1243948332
Information
