Ordinal Definability and Recursion Theory - sidottu, Englanti, 2016