Real Algebraic and Analytic Geometry
Submission: 2002, October 18.
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 . Unlike the algebraic case for the same problem, we show that the obstructions at infinity do never appear.
Full text, 17p.: ps.gz 105k, pdf 232k.