[FOM] Algebra and Ramsey Type Theorems
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?
Member, Cal. Math. Soc
More information about the FOM