Boolean representation of manifolds and functions

Sergei Ovchinnikov

It is shown that a smooth n dimensional manifold with a boundary in R^n admits a Boolean representation in terms of closed half spaces defined by the tangent hyperplanes at the poi…