DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES (Q4235643)

If \(R\) is a ring and \(A\subset R\), then we say that \(A\) has a diophantine definition over \(R\) if there exists a polynomial \(f(t,x_1, \dots, x_n)\in R[t,x_1,\dots,x_n]\) such that for \(t\in R\) \[ \exists x_1,\dots,x_n\in R,\;f(t,x_1,\dots,x_n) =0\Leftrightarrow t\in A. \] Let \(K\) be an algebraic function field over a finite field of constants of characteristic greater than 2, \(W\) a set of non-archimedean primes of \(K\) and \(O_{K,W}=\{x\in K\mid\text{ord}_p x\geq 0,\forall p\notin W\}\). The author proves the main result: For any finite set \(S\) of primes of \(K\), there exists an infinite set \(W\) of primes of \(K\) containing \(S\), with the property that \(O_{K,S}\) has a diophantine definition over \(O_{K,W}\).