English

Uniformly defining $p$-henselian valuations

Logic 2014-11-26 v2 Commutative Algebra

Abstract

Admitting a non-trivial pp-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, pp-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 pp-henselian valuation (in the language of rings). We give a classification of elementary classes of fields in which the canonical pp-henselian valuation is uniformly 0-definable. We then apply this to show that there is a definable valuation inducing the (tt-)henselian topology on any (tt-)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

R2 v1 2026-06-22T05:16:58.420Z