Planar extensions in o-minimal structures

Abstract

Let $X\subset {\mathbb{R}}^2$ be a closed definable set of dimension at most $1$, and let $h:X\to {\mathbb{R}}^2$ be a definable continuous injective map. In this paper, we establish necessary and sufficient combinatorial conditions, formulated in terms of cyclic orders at topological singular points and orientations of Jordan curves, for $h$ to admit a definable homeomorphic extension to the whole plane.

36 pages