Separation of global semianalytic subsets of 2-dimensional analytic manifolds (Q706055)

The authors 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. They show also that, unlike in the algebraic case, the obstruction at infinity are not relevant.