Diophantine undecidability of holomorphy rings of function fields of characteristic 0 (Q1041275)

Let \(K\) denote a function field of characteristic zero, and let \(W \subset P(K)\) denote a subset of the set \(P(K)\) of places of \(K\). Call the holomorphy ring of \(K\) for \(W\) the ring of elements of \(K\) that are integral at places \textit{outside} \(W\). The main results of the current paper are as follows: (a) the rational integers are a diophantine subset of any holomorphy for \(W \neq \emptyset, W \neq P(K)\); (b) if the field \(K\) is countable recursive, then Hilbert's tenth problem is undecidable for such rings; (c) in a general (possibly uncountable) function field \(K\), for any such holomorphy ring, there exist non-constant functions (depending on the ring) such that there is no algorithm to decide whether or not a diophantine equations with coefficients generated over the field of constants by those functions has a solution in the holomorphy ring.