Shelah cardinal
From Wikipedia, the free encyclopedia
In axiomatic set theory, Shelah cardinals are a kind of large cardinals. A cardinal κ is called Shelah iff for every f : κ → κ, there exists a transitive class N and an elementary embedding j : V → N with critical point κ and Vj (f) (κ) ⊂ N.
A Shelah cardinal has a normal ultrafilter containing the set of weakly hyper-Woodin cardinals below it.
[edit] References
- Ernest Schimmerling, Woodin cardinals, Shelah cardinals and the Mitchell-Steel core model, Proceedings of the American Mathematical Society 130/11, pp. 3385-3391, 2002, online