加载中…
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue field. We do so by first proving this for the more general setting of almost real closed fields.

生成讲解博客的中文版本

生成AI智能校验的中文版本