Recursively enumerable Turing degree