Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-25T18:23:11.427Z Has data issue: false hasContentIssue false

Henselianity and the Denef-Pas language

Published online by Cambridge University Press:  12 March 2014

Yimu Yin*
Affiliation:
Department of Philosophy, Carnegie Mellon University, Pittsburgh, Pa 15213, USA, E-mail: yimuy@andrew.cmu.edu

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
Copyright
Copyright © Association for Symbolic Logic 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Cluckers, Raf, Model theory of valued fields, Quaderni di matematica, vol. 11. pp. 7385, Quaderni di matematica, Dipartmento di Matematica della Seconda Università di Napoli, 2002, pp. 73–85.Google Scholar
[2]Dickmann, M. A., Elimination of quantifiers for ordered valuation rings, this Journal, vol. 52 (1987), pp. 116128.Google Scholar
[3]Engler, Antonio J. and Prestel, Alexander, Valued fields, Springer-Verlag, Berlin, 2005.Google Scholar
[4]Macintyre, Angus, On definable subsets of p-adic fields, this Journal, vol. 41 (1976), pp. 605610.Google Scholar
[5]Macintyre, Angus, McKenna, Kenneth, and van den Dries, Lou, Elimination of quantifiers in algebraic structures, Advances in Mathematics, vol. 47 (1983), pp. 7487.CrossRefGoogle Scholar
[6]Pas, Johan, Uniform p-adic cell decomposition and local zeta functions. Journal für die reine und angewandte Mathematik, vol. 399 (1989), pp. 137172.Google Scholar
[7]Yin, Yimu, On logical characterization of henselianity. arXiv: 0705.0395.Google Scholar