Ordinal Definability and Recursion Theory | lit.salon