Polynomials and Second Order Linear Recurrences

Soumyabrata Pal, Shankar M. Venkatesan

One of the most interesting results of the last century was the proof completed by Matijasevich that computably enumerable sets are precisely the diophantine sets [MRDP Theorem, 9]…