Division-ample sets and the Diophantine problem for rings of integers

Gunther Cornelissen, Thanases Pheidas, Karim Zahidi

We prove that Hilbert's Tenth Problem for a ring of integers in a number field K has a negative answer if K satisfies two arithmetical conditions (existence of a so-called division…