Shelah cardinal

Source: Wikipedia, the free encyclopedia.

In

axiomatic set theory, Shelah cardinals are a kind of large cardinals. A cardinal
is called Shelah
iff
for every , there exists a
transitive class
and an
elementary embedding
with
critical point ; and .

A Shelah cardinal has a normal

weakly hyper-Woodin cardinals
below it.

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