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.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.