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.
No takes yet. Share an insight, caveat, or question.
Juan Pablo Acosta López (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: