Connected components of global semianalytic subsets of 2-dimensional analytic manifolds.
Applying general results on separation of semialgebraic sets and spaces of orderings, we produce a catalogue of all possible geometric obstructions for separation of 3-dimensional semialgebraic sets and give some hints on how separation can be made decidable.
Page 1