In  Ramsey  Theory, ultrafilters often play an instrumental role.
By using nonstandard models of the integers, one can replace those
third-order objects (ultrafilters are families of subsets) by simple
points.

In this talk we present a nonstandard technique that is grounded
on the above observation, and show its use in proving some new results
in Ramsey Theory of Diophantine equations.