Woodin cardinal

Woodin cardinals are important in descriptive set theory. By a result[1] of Martin and Steel, existence of infinitely many Woodin cardinals implies projective determinacy, which in turn implies that every projective set is Lebesgue 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 ${\displaystyle \Theta _{0}}$ is Woodin in the class of hereditarily ordinal-definable sets. ${\displaystyle \Theta _{0}}$ is the first ordinal onto which the continuum cannot be mapped by an ordinal-definable surjection (see Θ (set theory)).

Mitchell and Steel showed that assuming a Woodin cardinal exists, there is an inner model containing a Woodin cardinal in which there is a ${\displaystyle \Delta _{4}^{1}}$-well-ordering of the reals, ◊ holds, and the generalized continuum hypothesis holds.[2]

Shelah proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on ${\displaystyle \omega _{1}}$ is ${\displaystyle \aleph _{2}}$-saturated. Woodin also proved the equiconsistency of the existence of infinitely many Woodin cardinals and the existence of an ${\displaystyle \aleph _{1}}$-dense ideal over ${\displaystyle \aleph _{1}}$.

A cardinal ${\displaystyle \kappa }$ is called hyper-Woodin if there exists a normal measure ${\displaystyle U}$ on ${\displaystyle \kappa }$ such that for every set ${\displaystyle S}$, the set

${\displaystyle \{\lambda <\kappa \mid \lambda }$ is ${\displaystyle <\kappa }$-${\displaystyle S}$-strong${\displaystyle \}}$

is in ${\displaystyle U}$.

${\displaystyle \lambda }$ is ${\displaystyle <\kappa }$-${\displaystyle S}$-strong if and only if for each ${\displaystyle \delta <\kappa }$ there is a transitive class ${\displaystyle N}$ and an elementary embedding

${\displaystyle j:V\to N}$

with

${\displaystyle \lambda ={\text{crit}}(j),}$

${\displaystyle j(\lambda )\geq \delta }$, and

${\displaystyle j(S)\cap H_{\delta }=S\cap H_{\delta }}$.

The name alludes to the classical result that a cardinal is Woodin if and only if for every set ${\displaystyle S}$, the set

${\displaystyle \{\lambda <\kappa \mid \lambda }$ is ${\displaystyle <\kappa }$-${\displaystyle S}$-strong${\displaystyle \}}$

is a stationary set.

The measure ${\displaystyle U}$ will contain the set of all Shelah cardinals below ${\displaystyle \kappa }$.

A cardinal ${\displaystyle \kappa }$ is called weakly hyper-Woodin if for every set ${\displaystyle S}$ there exists a normal measure ${\displaystyle U}$ on ${\displaystyle \kappa }$ such that the set ${\displaystyle \{\lambda <\kappa \mid \lambda }$ is ${\displaystyle <\kappa }$-${\displaystyle S}$-strong${\displaystyle \}}$ is in ${\displaystyle U}$. ${\displaystyle \lambda }$ is ${\displaystyle <\kappa }$-${\displaystyle S}$-strong if and only if for each ${\displaystyle \delta <\kappa }$ there is a transitive class ${\displaystyle N}$ and an elementary embedding ${\displaystyle j:V\to N}$ with ${\displaystyle \lambda ={\text{crit}}(j)}$, ${\displaystyle j(\lambda )\geq \delta }$, and ${\displaystyle j(S)\cap H_{\delta }=S\cap H_{\delta }.}$

The name alludes to the classic result that a cardinal is Woodin if for every set ${\displaystyle S}$, the set ${\displaystyle \{\lambda <\kappa \mid \lambda }$ is ${\displaystyle <\kappa }$-${\displaystyle S}$-strong${\displaystyle \}}$ is stationary.

The difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of ${\displaystyle U}$ does not depend on the choice of the set ${\displaystyle S}$ for hyper-Woodin cardinals.

• Kanamori, Akihiro (2003). The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (2nd ed.). Springer. ISBN 3-540-00384-3.
• For proofs of the two results listed in consequences see Handbook of Set Theory (Eds. Foreman, Kanamori, Magidor) (to appear). Drafts of some chapters are available.
• Ernest Schimmerling, Woodin cardinals, Shelah cardinals and the Mitchell-Steel core model, Proceedings of the American Mathematical Society 130/11, pp. 3385–3391, 2002, online
• Steel, John R. (October 2007). "What is a Woodin Cardinal?" (PDF). Notices of the American Mathematical Society. 54 (9): 1146–7. Retrieved 2008-01-15.