In axiomatic set theory, Shelah cardinals are a kind of large cardinals.
is called Shelah iff for every
, there exists a transitive class
A Shelah cardinal has a normal ultrafilter containing the set of weakly hyper-Woodin cardinals below it.
This set theory-related article is a stub.