[FOM] Algebra and Ramsey Type Theorems

A. Mani a_mani_sc_gs at yahoo.co.in
Sun Nov 11 17:41:31 EST 2007

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?


A. Mani

A. Mani
Member, Cal. Math. Soc

More information about the FOM mailing list