We discuss how to define polynomial rings with a formula of the form $\forall_1\exists\cdots\exists$ over function fields of positive characteristic using $p$-th powers equations.

$P$-Th Powers Equations And Definability Of Polynomials