A countable definable set of reals containing no definable elements
  We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $\Pi^1_2$ set of reals containing no ordinal-definable real. 
Vladimir Kanovei and Vassily Lyubetsky
math.LO