Diophantine sets over polynomial rings | lit.salon