Uniformly defining $p$-henselian valuations
Logic
2014-11-26 v2 Commutative Algebra
Abstract
Admitting a non-trivial -henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, -henselianity is an elementary property in the language of rings. We are interested in the question when a field admits a non-trivial 0-definable -henselian valuation (in the language of rings). We give a classification of elementary classes of fields in which the canonical -henselian valuation is uniformly 0-definable. We then apply this to show that there is a definable valuation inducing the (-)henselian topology on any (-)henselian field which is neither separably nor real closed.
Keywords
Cite
@article{arxiv.1407.8156,
title = {Uniformly defining $p$-henselian valuations},
author = {Franziska Jahnke and Jochen Koenigsmann},
journal= {arXiv preprint arXiv:1407.8156},
year = {2014}
}
Comments
13 pages, revised version