Диофантовы уравнения над функциональными полями

Доказывается неразрешимость широкого класса алгебраических уравнений
$$ F(x_1,\dots,x_n)=0 $$
в попарно взаимно простых многочленах $x_1(t),\dots,x_n(t)$. Библ. 2 назв.