pith. sign in

arxiv: 1407.8156 · v2 · pith:Q5HVIF2Tnew · submitted 2014-07-30 · 🧮 math.LO · math.AC

Uniformly defining p-henselian valuations

classification 🧮 math.LO math.AC
keywords henselianvaluationdefinablefieldnon-trivialadmittingelementaryhenselianity
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.