<<Up
Contents
Woodin cardinal
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
.
wikipedia.org
dumped 2003-03-17 with
terodump