Hyper-Woodin cardinal
|
|
In axiomatic set theory, hyper-Woodin cardinals are a kind of large cardinals. A cardinal κ is called hyper-Woodin iff there exists a normal measure U on κ such that for every set S, the set {λ < κ | λ is κ-S-strong} is in U.
The difference between hyper-Woodin cardinals and weakly hyper-Woodin cardinals is that the choice of U does not depend on the choice of the set S for hyper-Woodin cardinals.Template:Math-stub