加载中…
We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups.

生成讲解博客的中文版本

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