In mathematics, a weakly compact cardinal is a certain kind of cardinal number introduced by Erdős & Tarski (1961); weakly compact cardinals are large cardinals, meaning that their existence can not be proven from the standard axioms of set theory.
Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every function f: 2 → {0, 1} there is a set of cardinality κ that is homogeneous for f. In this context, 2 means the set of 2-element subsets of κ, and a subset S of κ is homogeneous for f if and only if either all of 2 maps to 0 or all of it maps to 1.
The name "weakly compact" refers to the fact that if a cardinal is weakly compact then a certain related infinitary language satisfies a version of the compactness theorem; see below.
Weakly compact cardinals are Mahlo cardinals, and the set of Mahlo cardinals less than a given weakly compact cardinal is stationary.
Some authors use a weaker definition of weakly compact cardinals, such as one of the conditions below with the condition of inaccessibility dropped.
Read more about Weakly Compact Cardinal: Equivalent Formulations
Famous quotes containing the words weakly, compact and/or cardinal:
“Let’s not quibble! I’m the foe of moderation, the champion of excess. If I may lift a line from a die-hard whose identity is lost in the shuffle, “I’d rather be strongly wrong than weakly right.””
—Tallulah Bankhead (1903–1968)
“... in a history of spiritual rupture, a social compact built on fantasy and collective secrets, poetry becomes more necessary than ever: it keeps the underground aquifers flowing; it is the liquid voice that can wear through stone.”
—Adrienne Rich (b. 1929)
“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)