Sciweavers

CIE
2005
Springer
13 years 11 months ago
On the Turing Degrees of Divergence Bounded Computable Reals
The d-c.e. (difference of c.e.) and dbc (divergence bounded computable) reals are two important subclasses of ∆0 2-reals which have very interesting computability-theoretical as...
Robert Rettinger, Xizhong Zheng