Relative to any nonrecursive set
Theodore A. Slaman · Proceedings of the American Mathematical Society · 1998
There is a countable first order structure M \mathcal {M} such that for any set of integers X X , X X is not recursive if and only if there is a presentation of M \mathcal {M} which is recursive in X X .