Ramsey properties of nonlinear Diophantine equations

Sufficient conditions are obtained by exploiting algebraic properties in the space of ultrafilters βN, grounding on combinatorial properties of positive density sets and IP sets. Necessary conditions are proved by a new technique in nonstandard analysis, based on the use of the relation of u-equivalence for the hypernatural numbers N⁎.