Diophantine sets of polynomials over number fields

Jeroen Demeyer

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