Defining Integrality at Prime Sets of High Density over Function Fields

 Let F be a function field of characteristic over a finite field . Then for any finite set of F-primes S and any , there exists a set of F-primes W of density greater than such that and has a Diophantine definition over . (Here and is defined analogously.)