Medial Axis and Singularities

This paper is devoted to the study of the medial axes of sets definable in polynomially bounded o-minimal structures, i.e. the sets of points with more than one closest point with respect to the Euclidean distance. Our point of view is that of singularity theory. While trying to make the paper self-contained, we gather here also a large bunch of basic results. Our main interest, however, goes to the characterization of those singular points of a definable, closed set [Formula: see text] , which are reached by the medial axis.