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:
“Resistance is feasible even for those who are not heroes by nature, and it is an obligation, I believe, for those who fear the consequences and detest the reality of the attempt to impose American hegemony.”
—Noam Chomsky (b. 1928)
“We are still barely conscious of how harmful it is to treat children in a degrading manner. Treating them with respect and recognizing the consequences of their being humiliated are by no means intellectual matters; otherwise, their importance would long since have been generally recognized.”
—Alice Miller (20th century)
“Cultivate the habit of thinking ahead, and of anticipating the necessary and immediate consequences of all your actions.... Likewise in your pleasures, ask yourself what such and such an amusement leads to, as it is essential to have an objective in everything you do. Any pastime that contributes nothing to bodily strength or to mental alertness is a totally ridiculous, not to say, idiotic, pleasure.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)