Using Ultrafilters to Prove Ramsey-type Theorems

Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this article is to introduce ultrafilters in a friendly manner and present some applications to the branch of combinatorics known as Ramsey theory, culminating with a new ultrafilter-based proof of van der Waerden’s

[1]  Frank Plumpton Ramsey,et al.  On a Problem of Formal Logic , 1930 .

[2]  James E. Baumgartner,et al.  A Short Proof of Hindman's Theorem , 1974, J. Comb. Theory, Ser. A.

[3]  Benjamin Weiss,et al.  Topological dynamics and combinatorial number theory , 1978 .

[4]  S. Kochen,et al.  Diophantine Problems Over Local Fields I , 1965 .

[5]  P. Howard,et al.  Consequences of the axiom of choice , 1998 .

[6]  Jon Sanders.  A Generalization of Schur's Theorem , 1968 .

[7]  H. Schoutens.  The Use of Ultraproducts in Commutative Algebra , 2010 .

[8]  Neil Hindman.  The existence of certain ultra-filters on and a conjecture of Graham and Rothschild , 1972 .

[9]  D. Strauss,et al.  Semigroups in which all strongly summable ultrafilters are sparse , 2012 .

[10]  Katalin Gyarmati,et al.  Density and ramsey type results on algebraic equations with restricted solution sets , 2012, Comb..

[11]  Neil Hindman,et al.  Ultrafilters and ramsey theory — An update , 1989 .

[12]  James Ax,et al.  The Elementary Theory of Finite Fields , 1968 .

[13]  P. Erdos.  Problems and results in combinatorial number theory , 1973 .

[14]  K. Numakura.  On bicompact semigroups , 1952 .

[15]  Robert Ellis,et al.  Distal transformation groups. , 1958 .

[16]  Neil Hindman,et al.  Finite Sums from Sequences Within Cells of a Partition of N , 1974, J. Comb. Theory, Ser. A.

[17]  B. Green,et al.  Monochromatic Solutions to $x+y=z^{2}$ , 2016, Canadian Journal of Mathematics.

[18]  M. Lupini,et al.  Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory , 2017, Lecture Notes in Mathematics.

[19]  Stevo Todorcevic,et al.  Introduction to Ramsey Spaces , 2010 .

[20]  Neil Hindman,et al.  Ultrafilters and combinatorial number theory , 1979 .

[21]  R. Graham,et al.  Ramsey’s theorem for $n$-parameter sets , 1971 .