No CrossRef data available.
Article contents
Henselianity and the Denef-Pas language
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009