TY - RPRT TI - Using Indices of Points on an Elliptic Curve to Construct A Diophantine Model of $\Z$ and Define $\Z$ Using One Universal Quantifier in Very Large Subrings of Number Fields, Including $\Q$ AU - Alexandra Shlapentokh PY - 2011 UR - https://arxiv.org/abs/0901.4168 ID - 0901.4168 ER -