## Some Computability-Theoretical Aspects of Reals and Randomness (2001)

by
Rodney G. Downey

Venue: | the Lect. Notes Log. 18, Assoc. for Symbol. Logic |

Citations: | 24 - 7 self |

### BibTeX

@INPROCEEDINGS{Downey01somecomputability-theoretical,

author = {Rodney G. Downey},

title = {Some Computability-Theoretical Aspects of Reals and Randomness},

booktitle = {the Lect. Notes Log. 18, Assoc. for Symbol. Logic},

year = {2001},

pages = {97--148}

}

### OpenURL

### Abstract

We study computably enumerable reals (i.e. their left cut is computably enumerable) in terms of their spectra of representations and presentations.