Computable Closed Euclidean Subsets with and without Computable Points

Stéphane Le Roux, Martin Ziegler

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin, Kreisel, and Lacombe assert the existence of NON-empty co-r.…