Division-ample sets and the Diophantine problem for rings of integers
We prove that Hilbert’s Tenth Problem for a ring of integers in a number field has a negative answer if satisfies two arithmetical conditions (existence of a so-called set of integers and of an elliptic curve of rank one over ). We relate division-ample sets to arithmetic of abelian varieties.