Submission date: 8 August 2016

Abstract:

Although the study of the definability of henselian valuations has a long history starting with J. Robinson, most of the results in this area were proven during the last few years. We survey these results which address the definability of concrete henselian valuations, the existence of definable henselian valuations on a given field, and questions of uniformity and quantifier complexity.

Mathematics Subject Classification: 12J10, 12L12, secondary: 03C60, 12E30

Keywords and phrases:

Full text arXiv 1608.02342: pdf, ps.