Ordinal Definability and Recursion Theory