Abstract
A real number x is called binary enumerable, if there is an effective way to enumerate all “1”-positions in the binary expansion of x. If at most k corrections for any position are allowed in the above enumerations, then x is called binary k-enumerable. Furthermore, if the number of the corrections is bounded by some computable function, then x is called binary w-enumerable. This paper discusses some basic properties of binary enumerable real numbers. Especially, we show that there are two binary enumerable real numbers x and y such that their difference x − y is not binary w-enumerable (in fact we have shown that it is even of no “w-r.e. Turing degree”).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. Ambos-Spies. A note on recursively approximatable real numbers, Forschungsberichte Mathematische Logik, Mathematisches Institut, Universität Heidelberg. Nr. 38, 1998.
M. M. Arslanov. Degree structures in local degree theory, in Complexity, Logic, and Recursion Theory, Andrea Sorbi (ed.), Lecture Notes in Pure and Applied Mathematics, Vol. 187, Marcel Dekker, New York, Basel, Hong Kong, 1997, pp. 49–74.
Y. Ershov. On a hierarchy of sets I; II and III, Algebra i Logika, 7 (1968), no. 1, 47–73; 7(1968), no. 4, 15 — 47 and 9(1970), no. 1, 34 — 51.
E. M. Gold. Limiting recursion J. of Symbolic Logic, 30 (1965), 28–48.
C. G. Jockusch Semirecursive sets and positive reducibility. Trans. Amer. Math. Soc. 131 (1968), 420–436.
P. Odifreddi. Classical Recursion Theory, vol. 129 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdan, 1989.
H. Putnam. Trial and error predicates and solution to a problem of Mostowski, J. of Symbolic Logic, 30 (1965), 49–57.
G. E. Sacks On the degrees less than O', Ann. of Math. 77 (1963), 211–231.
R. Soare Recursion theory and Dedekind cuts, Trans, Amer. Math. Soc. 140 (1969), 271–294.
R. Soare. Recursively Enumerable Sets and Degrees, Springer-Verlag, Berlin, Heidelberg, 1987.
K. Weihrauch. Computability. EATCS Monographs on Theoretical Computer Science Vol. 9, Springer-Verlag, Berlin, Heidelberg, 1987.
K. Weihrauch. An Introduction to Computable Analysis. (In Preparation.)
K. Weihrauch and X. Zheng. A finite hierarchy of recursively enumerable real numbers, MFCS'98, Brno, Czech Republic, August 24 — 28, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, X. (1999). Binary Enumerability of Real Numbers (Extended Abstract). In: Asano, T., Imai, H., Lee, D.T., Nakano, Si., Tokuyama, T. (eds) Computing and Combinatorics. COCOON 1999. Lecture Notes in Computer Science, vol 1627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48686-0_30
Download citation
DOI: https://doi.org/10.1007/3-540-48686-0_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66200-6
Online ISBN: 978-3-540-48686-2
eBook Packages: Springer Book Archive