recursively enumerable Turing degree