λ
f:λ\toλ
\kappa<λ
\{f(\beta)\mid\beta<\kappa\}\subseteq\kappa
j:V\toM
V
M
\kappa
Vj(f)(\kappa)\subseteqM
An equivalent definition is this:
λ
λ
A\subseteqVλ
λA<λ
<λ
A
λA
<λ
A
\alpha<λ
j:V\toM
λA
j(λA)>\alpha
V\alpha\subseteqM
j(A)\capV\alpha=A\capV\alpha
A Woodin cardinal is preceded by a stationary set of measurable cardinals, and thus it is a Mahlo cardinal. However, the first Woodin cardinal is not even weakly compact.
The hierarchy
V\alpha
\alpha
V0=\varnothing
V\alpha+1=lP(V\alpha)
V\alpha=cup\beta<\alphaV\beta
\alpha
For any ordinal
\alpha
V\alpha
V\alpha
\alpha
V\alpha
\kappa
V\kappa
M
j:V\toM
\phi
x1,\ldots,xn
V\vDash\phi(x1,\ldots,xn)
M\vDash\phi(j(x1),\ldots,j(xn))
\vDash
j
j:V\toM
\kappa
j(\kappa) ≠ \kappa
\kappa
j
Many large cardinal properties can be phrased in terms of elementary embeddings. For an ordinal
\beta
\kappa
\beta
M
j:V\toM
\kappa
V\beta\subseteqM
A strengthening of the notion of
\beta
A
\kappa
\delta
\kappa
\delta
\kappa<\delta
A
V\delta
\kappa
A
\delta
\beta<\delta
j:V\toM
\kappa
\beta
j(A)\capV\beta=A\capV\beta
A=V\delta
\kappa
A
\delta
\kappa
\beta
\beta<\delta
\beta<\delta
V\delta\capV\beta=V\beta
j(A)\capV\beta
V\delta
j(A)
j
\delta
A\subseteqV\delta
\kappa<\delta
\kappa
A
\delta
Woodin cardinals are important in descriptive set theory. By a result[2] 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
\Theta0
\Theta0
Mitchell and Steel showed that assuming a Woodin cardinal exists, there is an inner model containing a Woodin cardinal in which there is a
1 | |
\Delta | |
4 |
Shelah proved that if the existence of a Woodin cardinal is consistent then it is consistent that the nonstationary ideal on
\omega1
\aleph2
\aleph1
\aleph1
\kappa
U
\kappa
S
\{λ<\kappa\midλ
<\kappa
S
\}
is in
U
λ
<\kappa
S
\delta<\kappa
N
j:V\toN
with
λ=crit(j),
j(λ)\geq\delta
j(S)\capH\delta=S\capH\delta
The name alludes to the classical result that a cardinal is Woodin if and only if for every set
S
\{λ<\kappa\midλ
<\kappa
S
\}
is a stationary set.
The measure
U
\kappa
\kappa
S
U
\kappa
\{λ<\kappa\midλ
<\kappa
S
\}
U
λ
<\kappa
S
\delta<\kappa
N
j:V\toN
λ=crit(j)
j(λ)\geq\delta
j(S)\capH\delta=S\capH\delta.
The name alludes to the classic result that a cardinal is Woodin if for every set
S
\{λ<\kappa\midλ
<\kappa
S
\}
The difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of
U
S
Let
\delta
\alpha
\delta
\delta
f:\delta\to\delta
f\inL\alpha(V\delta)
\kappa<\delta
f[\kappa]\subseteq\kappa
E\inV\delta
crit(E)=\kappa
V | |
iE(f)(\kappa) |
\subsetUlt(V,E)
. 2003. Akihiro Kanamori. Springer. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. The Higher Infinite. 2nd. 3-540-00384-3.