In this article we call a sequence (a n ) n of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function r : N → N the sequence (d(a r(n+1) , a r(n) )) n converges computably to 0. We show that there exists a strictly increasing sequence of rational numbers that is nearly computably Cauchy and unbounded. Then we call a real number α nearly computable if there exists a computable sequence (a n ) n of rational numbers that converges to α and is nearly computably Cauchy. It is clear that every computable real number is nearly computable, and it follows from a result by Downey and LaForte (2002) that there exists a nearly computable and left-computable number that is not computable. We observe that the set of nearly computable real numbers is a real closed field and closed under computable real functions with open domain, but not closed under arbitrary computable real functions. Among other things we strengthen results by Hoyrup (2017) and by Stephan and Wu (2005) by showing that any nearly computable real number that is not computable is weakly 1-generic (and, therefore, hyperimmune and not Martin-Löf random) and strongly Kurtz random (and, therefore, not K-trivial), and we strengthen a result by Downey and LaForte (2002) by showing that no promptly simple set can be Turing reducible to a nearly computable real number.
We call a real number α regainingly approximable if there exists a computable nondecreasing sequence (a n ) n of rational numbers converging to α such that α−a n < 2 −n for infinitely many n ∈ N. We also call a c.e. set A ⊆ N regainingly approximable if the strongly left-computable number 2 −A is regainingly approximable. We characterize this property directly in terms of enumerations of A and show that there exists a c.e. set A ⊆ N that is not regainingly approximable. Our main result is a splitting theorem: any c.e. set C ⊆ N can be split effectively into two disjoint c.e. sets A and B that are regainingly approximable. These results imply that the set of regainingly approximable numbers lies properly between the set of computable numbers and the set of left-computable numbers and that it is not closed under addition.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.