Diophantine sets of polynomials over number fields
  Let R be a recursive subring of a number field. We show that recursively enumerable sets are diophantine for the polynomial ring R[Z]. 
Jeroen Demeyer