Decidability of the separation problem in dimension 2

The problem of separating two semialgebraic sets in an algebraic R-variety is proved to be decidable in dimension 2 with geometric and topologic means. An interpretation of the equivalence between the known criteria of separation is also given.

---

Sunto Il problema della decidibilità della separazione tra due insiemi semialgebrici di una varietà algebrica reale viene risolto positivamente in dimensione 2, con mezzi geometrici e topologici. Inoltre viene data un'interpretazione dell'equivalenza tra i differenti criteri di separazione, di tipo geometrico e algebrico, noti fino ad ora.

---

---

Member of G.N.S.A.G.A. of C.N.R., partialy supported by Scuola Normale Superiore and by DGICYT, contract #CHRX-CT94-0506.