In
mathematics, a Ramsey cardinal is a certain kind of
large cardinal
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least ...
number introduced by and named after
Frank P. Ramsey, whose
theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of ...
establishes that
ω enjoys a certain property that Ramsey cardinals generalize to the
uncountable case.
Let
'κ''sup><ω denote the set of all finite subsets of ''κ''. A
cardinal number
In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets. The cardinality of a finite set is a natural number: the number of elements in the set. T ...
''κ'' is called Ramsey if, for every function
:''f'':
'κ''sup><ω →
there is a set ''A'' of cardinality ''κ'' that is
homogeneous
Homogeneity and heterogeneity are concepts often used in the sciences and statistics relating to the uniformity of a substance or organism. A material or image that is homogeneous is uniform in composition or character (i.e. color, shape, siz ...
for ''f''. That is, for every ''n'', the function ''f'' is
constant on the subsets of cardinality ''n'' from ''A''. A cardinal ''κ'' is called ineffably Ramsey if ''A'' can be chosen to be a
stationary
In addition to its common meaning, stationary may have the following specialized scientific meanings:
Mathematics
* Stationary point
* Stationary process
* Stationary state
Meteorology
* A stationary front is a weather front that is not moving ...
subset of ''κ''. A cardinal ''κ'' is called virtually Ramsey if for every function
:''f'':
'κ''sup><ω →
there is ''C'', a closed and unbounded subset of ''κ'', so that for every ''λ'' in ''C'' of uncountable
cofinality
In mathematics, especially in order theory, the cofinality cf(''A'') of a partially ordered set ''A'' is the least of the cardinalities of the cofinal subsets of ''A''.
This definition of cofinality relies on the axiom of choice, as it uses t ...
, there is an unbounded subset of ''λ'' that is homogenous for ''f''; slightly weaker is the notion of almost Ramsey where homogenous sets for ''f'' are required of order type ''λ'', for every ''λ'' < ''κ''.
The existence of any of these kinds of Ramsey cardinal is sufficient to prove the existence of
0#, or indeed that every set with
rank less than ''κ'' has a
sharp.
Every
measurable cardinal
In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal , or more generally on any set. For a cardinal , it can be described as a subdivis ...
is a Ramsey cardinal, and every Ramsey cardinal is a
Rowbottom cardinal.
A property intermediate in strength between Ramseyness and
measurability is existence of a ''κ''-complete normal non-principal
ideal ''I'' on ''κ'' such that for every and for every function
:''f'':
'κ''sup><ω →
there is a set ''B'' ⊂ ''A'' not in ''I'' that is homogeneous for ''f''. This is strictly stronger than ''κ'' being ineffably Ramsey.
The existence of a Ramsey cardinal implies the existence of
0# and this in turn implies the falsity of the
Axiom of Constructibility
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as ''V'' = ''L'', where ''V'' and ''L'' denote the von Neumann universe and the constructi ...
of
Kurt Gödel
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imm ...
.
References
*
*
*
Large cardinals
Ramsey theory
{{settheory-stub