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)
“The worst enemy of truth and freedom in our society is the compact majority. Yes, the damned, compact, liberal majority.”
—Henrik Ibsen (1828–1906)
“In nothing was slavery so savage and relentless as in its attempted destruction of the family instincts of the Negro race in America. Individuals, not families; shelters, not homes; herding, not marriages, were the cardinal sins in that system of horrors.”
—Fannie Barrier Williams (1855–1944)