A Discretely Ordered Ring is an ordered ring in which the inequality $x<y<x+1$ has no solutions, or equivalently, an ordered ring containing no element between 0 and 1. There is a simple finite set of axioms for the class of discretely ordered rings. Hilbert's Tenth Problem for discretely ordered rings asks: