Kollár's conjecture on diophantine subsets of the rational function field
Let DDD be a diophantine subset of C(z)\mathbb{C}\left(z\right)C(z), and for each n∈Z≥1n\in\mathbb{Z}_{\geq 1}n∈Z≥1 let C[z]n\mathbb{C}\left[z\right]_nC[z]n be the (n+1)(n+1)(n+1)-dimensional C\mathbb{C}C-vecto…