Ordinal definability and recursion theory | DealShopping España