Elliptic divisibility sequences and undecidable problems about rational points

Gunther Cornelissen, Karim Zahidi

Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantif…