Recursively enumerable reals and Chaitin Ω numbers (2001)
by
Cristian S. Calude
,
Peter H. Hertling
,
Bakhadyr Khoussainov
,
Yongge Wang
| Citations: | 28 - 3 self |
BibTeX
@MISC{Calude01recursivelyenumerable,
author = {Cristian S. Calude and Peter H. Hertling and Bakhadyr Khoussainov and Yongge Wang},
title = {Recursively enumerable reals and Chaitin Ω numbers},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A real α is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay (unpublished manuscript, IBM Thomas J. Watson
