“…An example of this would be 1/x + \/y = k. For k = 2, this equation has only the solution (1,1); but if k varies over the interval [1,2], in the infinite sequence k = 2, 3/2, 4/3, 5/4,..., there are infinitely many solutions (1,1), (1,2), (1,3), (1,4),... . Our objective will be to characterize the classes A and A, in terms of the existence of a certain quantity, q = q(xx, x2,...,x"), defined for all (x,, x2,...,x") in D. Then, based upon this characterization, we shall define another class A2, a subclass of A,, which will turn out to contain only Diophantine equations that possess a computable bound.…”