You have a typical recursively enumerable set X of integers, and a set S of lattice points cut out by a multivariate polynomial. We are talking about X being the projection (onto one axis) of S. Given that X can be "pretty bad", can one say anything except that S is "presumably worse"? None of the interest lies in any finite segment of X.