Beyond the infinite Ramsey's theorem on N, there is, of course, a kind of super-infinite extension of it to the concept of [Ramsey cardinals](http://en.wikipedia.org/wiki/Ramsey_cardinal), one of many [large cardinal](http://en.wikipedia.org/wiki/Large_cardinal) concepts. Most of the large cardinal concepts, including Ramsey cardinals, generalize various mathematical properties of the countably infinite cardinal ω to uncountable cardinals. For example, an uncountable cardinal κ is a *Ramsey cardinal* if every coloring of finite subsets of kappa into 2 colors admits a homogeneous set of size κ. The somewhat weaker property, that every coloring of pairs (or for any fixed finite size) from κ to 2 colors has a homogeneous set, is equivalent to κ being [weakly compact](http://en.wikipedia.org/wiki/Weakly_compact_cardinal), a provably weaker notion, since every Ramsey cardinal is a limit of weakly compact cardinals. Similarly, the concept of [measurable cardinals](http://en.wikipedia.org/wiki/Measurable_cardinal) generalize the existence of ultrafilters on ω, for an uncountable cardinal κ is said to be a *measurable cardinal* if there is a nonprincipal κ-complete ultrafilter on κ. Ramsey cardinals figure in many arguments in set theory. For example, if there is a Ramsey cardinal, then V is not L. Another prominent result is the fact that every measurable cardinal is Ramsey (which is not at all obvious). Furthere, if there is a Ramsey cardinal, then [0<sup>#</sup>](http://en.wikipedia.org/wiki/Zero_sharp) exists. Indeed, this latter argument proceeds as a pure Ramsey style argument, using a coloring. Namely, if κ is Ramsey, then we may color every finite sequence of ordinals with the type that they realize in L. By the Ramsey property, there must be a set of size κ, all of whose increasing finite sequences realize the same type. that is, there is a large class of order indiscernibles for L. By results of Silver, this is equivalent to the assertion that 0<sup>#</sup> exists. The fact that Ramsey cardinals are strictly stronger than weakly compact cardinals suggests to my mind that there is something fundamentally more powerful about finding homogeneous sets for colorings of all finite subsets than just for pairs or for subsets of some fixed size. This difference is not revealed at ω, for which both are true by the infinite Ramsey theorem. Another point investigated by set theorists is that finding homogeneous sets in the case of infinite exponents---that is, coloring infinite subsets---is known to be inconsistent with the axiom of choice. However, in models of set theory where the Axiom of Choice fails, these infinitary Ramsey cardinals are fruitfully investigated. For example, under the [Axiom of Determinacy](http://en.wikipedia.org/wiki/Axiom_of_determinacy), there are a great number of cardinals realizing an [infinite exponent paritition relation](http://www.jstor.org/pss/2271873).