Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 857

Preprint Number 857

Previous Next Preprint server

857. Immanuel Halupczok and Franziska Jahnke
A definable henselian valuation with high quantifier complexity

Submission date:


We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free ∀∃-formula nor by a parameter-free ∃∀-formula in the language of rings. This answers a question of Prestel.

Mathematics Subject Classification: Primary: 03C40, 12L12. Secondary: 12E30, 13J15

Keywords and phrases:

Full text arXiv 1504.01871: pdf, ps.

Last updated: April 22 2015 11:42 Please send your corrections to: