Relative to any nonrecursive set

Abstract

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 .