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$
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.