Logic Seminar

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.