Title: Ordinal Definability and Recursion Theory