03D25 - Mathematical logic and foundations :: Computability and recursion theory :: Recursively enumerable sets and degrees