Strong partition cardinal explained

such that every partition of the set

[k]^k

of size

subsets of

into less than

pieces has a homogeneous set of size

The existence of strong partition cardinals contradicts the axiom of choice. The Axiom of determinacy implies that ℵ₁ is a strong partition cardinal.

References