In Zermelo-Fraenkel set theory without the axiom of choice a strong partition cardinal is an uncountable well-ordered cardinal such that every partition of the set 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 ℵ1 is a strong partition cardinal.
Famous quotes containing the words strong and/or cardinal:
“Whoever takes a view of the life of man ... will find it so beset and hemm’d in with obligations of one kind or other, as to leave little room to suspect, that man can live to himself: and so closely has our creator link’d us together ... that we find this bond of mutual dependence ... is too strong to be broke.”
—Laurence Sterne (1713–1768)
“One must not make oneself cheap here—that is a cardinal point—or else one is done. Whoever is most impertinent has the best chance.”
—Wolfgang Amadeus Mozart (1756–1791)