[FOM] Algebra and Ramsey Type Theorems

[A. Mani]

Some results in algebra can be seen as being essentially equivalent to Ramsey 
type theorems (finite or infinite). For example the theorem that "Every 
finite semigroup has at least one idempotent" is essentially a Ramsey type 
theorem (it can be proved as well by a simple contradiction argument). 

Is a comprehensive study from this perspective known?


Best

A. Mani


-- 
A. Mani
Member, Cal. Math. Soc