On logical characterization of henselianity
Logic
2007-05-23 v2
Abstract
We give some sufficient conditions under which any valued field that admits quantifier elimination in the Macintyre language is henselian. Then, without extra assumptions, we prove that if a valued field of characteristic has a -group as its value group and admits quantifier elimination in the main sort of the Denef-Pas style language then it is henselian. In fact the proof of this suggests that a quite large class of Denef-Pas style languages is natural with respect to henselianity.
Keywords
Cite
@article{arxiv.0705.0395,
title = {On logical characterization of henselianity},
author = {Yimu Yin},
journal= {arXiv preprint arXiv:0705.0395},
year = {2007}
}
Comments
Minor corrections