Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets

Floris Geerts, Lieven Smits, Jan Van den Bussche

This paper addresses the question whether one can determine the connectivity of a semi-algebraic set in three dimensions by testing the connectivity of a finite number of two-dimen…