A
cardinal number κ is called
Woodin iff for all
f : κ → κ there exists α < κ with
f[α] ⊆ α and an elementary embedding
j :
V →
M from
V into a transitive inner model
M with critical point α and V
j(f)(α) ⊆
M.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License