✦ LIBER ✦
Singular coverings and non-uniform notions of closed set computability
✍ Scribed by Stéphane Le Roux; Martin Ziegler
- Publisher
- John Wiley and Sons
- Year
- 2008
- Tongue
- English
- Weight
- 250 KB
- Volume
- 54
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskiĭ, Tseĭtin, Kreisel, and Lacombe have asserted the existence of non‐empty co‐r. e. closed sets devoid of computable points: sets which are even “large” in the sense of positive Lebesgue measure.
This leads us to investigate for various classes of computable real subsets whether they always contain a (not necessarily effectively findable) computable point. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)