Abstract

In this paper we prove that two global semianalytic subsets of a real analytic manifold of dimension two are separable if and only if there is no analytic component of the Zariski closure of the boundary which intersects the interior of one of the two sets and they are separable in a neighbourhood of each singular point of the boundary.

We show also that, unlike in the algebraic case, the obstructions at infinity are not relevant.

Authors