On Diophantine representations of the sequence of solutions of Pell's equation

The paper deals with construction of sufficiently simple Diophantine representations of the sequence of Pell's equation solutions. Such a representation is transformed into a Diophantine representation of the predicate $x=y^z$. It is also proved that there exists a universal polynomial of some simple form.