Degrees of d. c. e. reals
✍
Rod Downey; Guohua Wu; Xizhong Zheng
📂
Article
📅
2004
🏛
John Wiley and Sons
🌐
English
⚖ 149 KB
## Abstract A real __α__ is called a c. e. real if it is the halting probability of a prefix free Turing machine. Equivalently, __α__ is c. e. if it is left computable in the sense that __L__(__α__) = {__q__ ∈ ℚ : __q__ ≤ __α__} is a computably enumerable set. The natural field formed by the c. e.