Consequences
Woodin cardinals are important in descriptive set theory. By a result of Martin and Steel, existence of infinitely many Woodin cardinals implies projective determinacy, which in turn implies that every projective set is measurable, has the Baire property (differs from an open set by a meager set, that is, a set which is a countable union of nowhere dense sets), and the perfect set property (is either countable or contains a perfect subset).
The consistency of the existence of Woodin cardinals can be proved using determinacy hypotheses. Working in ZF+AD+DC one can prove that is Woodin in the class of hereditarily ordinal-definable sets. is the first ordinal onto which the continuum cannot be mapped by an ordinal-definable surjection (see Θ (set theory)).
Shelah proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on ω1 is -saturated. Woodin also proved the equiconsistency of the existence of infinitely many Woodin cardinals and the existence of an -dense ideal over .
Read more about this topic: Woodin Cardinal
Famous quotes containing the word consequences:
“If you are prepared to accept the consequences of your dreams ... then you must still regard America today with the same naive enthusiasm as the generations that discovered the New World.”
—Jean Baudrillard (b. 1929)
“Without being forgiven, released from the consequences of what we have done, our capacity to act would ... be confined to one single deed from which we could never recover; we would remain the victims of its consequences forever, not unlike the sorcerer’s apprentice who lacked the magic formula to break the spell.”
—Hannah Arendt (1906–1975)
“The middle years are ones in which children increasingly face conflicts on their own,... One of the truths to be faced by parents during this period is that they cannot do the work of living and relating for their children. They can be sounding boards and they can probe with the children the consequences of alternative actions.”
—Dorothy H. Cohen (20th century)