OD elements of countable OD sets in the Solovay model
  It is true in the Solovay model that every countable ordinal-definable set of sets of reals contains only ordinal-definable elements. 
Vladimir Kanovei
math.LO