The Non-universality of an Algorithm to decide if a point is in the exterior or on the boundary of a closed constructive set

Abstract

It seems we can find if a point is on the boundary or in the exterior of a closed constructive set. However, this is not true in constructive math. This paper investigates the algorithmic decidability of determining the position of rational points relative to closed sets given as the intersection of closed intervals with rational endpoints.