The Erdős-Selfridge and the Schinzel-Tijdeman theorems hold in $P{A}^{-}$

Victor Pambuccian

We show that "The product of consecutive integers is never a power" and several results by Schinzel and Tijdeman on the solutions of the equation $y^m=P(x)$, for $m>1$, $y>1$, and…