加载中…
We show that every non-trivial ordered abelian group is augmentable by infinite elements, i.e., we have for some non-trivial ordered abelian group . As an application, we show that when is a field of characteristic 0, then is not -henselian if and only if all henselian valuations with residue field are (-)definable.

生成讲解博客的中文版本

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