Invariance of domain in locally o-minimal structures
arXiv:2601.18062
Abstract
Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.