The Diophantine problem for polynomial rings and fields of rational functions

Abstract

We prove that the diophantine problem for a ring of polynomials over an integral domain of characteristic zero or for a field of rational functions over a formally real field is unsolvable.