Presentations of computably enumerable reals
Open Access
- 28 July 2002
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 284 (2) , 539-555
- https://doi.org/10.1016/s0304-3975(01)00110-4
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- COMPUTABILITY, DEFINABILITY AND ALGEBRAIC STRUCTURESPublished by World Scientific Pub Co Pte Ltd ,2003
- Degree-Theoretic Aspects of Computably Enumerable RealsPublished by Cambridge University Press (CUP) ,1999
- Relatively recursive reals and real functionsTheoretical Computer Science, 1999
- Classifications of degree classes associated with r.e. subspacesAnnals of Pure and Applied Logic, 1989
- On the continued fraction representation of computable real numbersTheoretical Computer Science, 1986
- An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degreesTransactions of the American Mathematical Society, 1984
- Recursively enumerable generic setsThe Journal of Symbolic Logic, 1982
- Computational complexity of real functionsTheoretical Computer Science, 1982
- A Theory of Program Size Formally Identical to Information TheoryJournal of the ACM, 1975
- The definition of random sequencesInformation and Control, 1966