Shelah cardinal

In axiomatic set theory, Shelah cardinals are a kind of large cardinals. A cardinal κ {\displaystyle \kappa } is called Shelah iff for every f : κ κ {\displaystyle f:\kappa \rightarrow \kappa } , there exists a transitive class N {\displaystyle N} and an elementary embedding j : V N {\displaystyle j:V\rightarrow N} with critical point κ {\displaystyle \kappa } ; and V j ( f ) ( κ ) N {\displaystyle V_{j(f)(\kappa )}\subset N} .

A Shelah cardinal has a normal ultrafilter containing the set of 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


  • v
  • t
  • e