Skip to main content Accessibility help




In this note we investigate the question when a henselian valued field carries a nontrivial ∅-definable henselian valuation (in the language of rings). This is clearly not possible when the field is either separably or real closed, and, by the work of Prestel and Ziegler, there are further examples of henselian valued fields which do not admit a ∅-definable nontrivial henselian valuation. We give conditions on the residue field which ensure the existence of a parameter-free definition. In particular, we show that a henselian valued field admits a nontrivial henselian ∅-definable valuation when the residue field is separably closed or sufficiently nonhenselian, or when the absolute Galois group of the (residue) field is nonuniversal.



Hide All
[1]Adler, Hans, An introduction to theories without the independence property. Archive for Mathematical Logic, to appear, 2008.
[2]Anscombe, Will and Koenigsmann, Jochen, An existential ∅-definition of Fq[[t]] in Fq((t)), this Journal, vol. 79 (2014), no. 4, pp. 1336–1343.
[3]Bröcker, Ludwig, Characterization of fans and hereditarily Pythagorean fields. Mathematische Zeitschrift, vol. 151 (1976), no. 2, pp. 149163.
[4]Cluckers, Raf, Derakhshan, Jamshid, Leenknegt, Eva, and Macintyre, Angus, Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields. Annals of Pure and Applied Logic, vol. 164 (2013), no. 12, pp. 12361246.
[5]Delon, Françoise and Farré, Rafel, Some model theory for almost real closed fields, this Journal, vol. 61 (1996), no. 4, pp. 1121–1152.
[6]Engler, Antonio J. and Prestel, Alexander, Valued Fields, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2005.
[7]Fehm, Arno, Existential ∅-definability of henselian valuation rings, this Journal, vol. 80 (2015), no. 1, pp. 301–307.
[8]Fried, Michael D. and Jarden, Moshe, Field Arithmetic, third ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, A Series of Modern Surveys in Mathematics, vol. 11, Springer-Verlag, Berlin, 2008, Revised by Jarden.
[9]Hong, Jizhan, Definable non-divisible Henselian valuations. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 1, pp. 1418.
[10]Jahnke, Franziska and Koenigsmann, Jochen, Uniformly definining p-henselian valuations, 2014, preprint, available on ArXiv:1407.8156 [math.LO].
[11]Kaplan, Itay, Scanlon, Thomas, and Wagner, Frank O., Artin-Schreier extensions in NIP and simple fields. Israel Journal of Mathematics, vol. 185 (2011), pp. 141153.
[12]Koenigsmann, Jochen, p-Henselian fields. Manuscripta Mathematica, vol. 87 (1995), no. 1, pp. 8999.
[13]Koenigsmann, Jochen, Encoding valuations in absolute Galois groups, Valuation theory and its applications, Vol. II (Saskatoon, SK, 1999), Fields Institute Communications, vol. 33, American Mathematical Society, Providence, RI, 2003, pp. 107132.
[14]Koenigsmann, Jochen, Elementary characterization of fields by their absolute Galois group. Siberian Advances in Mathematics, vol. 14 (2004), no. 3, pp. 1642.
[15]Koenigsmann, Jochen, Products of absolute Galois groups. International Mathematics Research Notics, vol. 24 (2005), pp. 14651486.
[16]Nikolov, Nikolay and Segal, Dan, On finitely generated profinite groups. I. Strong completeness and uniform bounds. Annals of Mathematics (2), vol. 165 (2007), no. 1, pp. 171238.
[17]Prestel, Alexander, Definable henselian valuation rings, 2014, preprint, available on ArXiv:1401.4813 [math.AC].
[18]Prestel, Alexander and Ziegler, Martin, Model-theoretic methods in the theory of topological fields. Journal für die reine und angewandte Mathematik, vol. 299, 300 (1978), pp. 318341.
[19]Wagner, Frank O., Simple Theories, Mathematics and its Applications, vol. 503, Kluwer Academic Publishers, Dordrecht, 2000.



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed