Shelah cardinal

In axiomatic set theory, Shelah cardinals are a kind of large cardinals. A cardinal ${\displaystyle \kappa }$ is called Shelah iff for every ${\displaystyle f:\kappa \to \kappa }$, there exists a transitive class ${\displaystyle N}$ and an elementary embedding ${\displaystyle j:V\to N}$ with critical point ${\displaystyle \kappa }$; and ${\displaystyle V_{j(f)(\kappa )}\subset N}$. A Shelah cardinal has a normal ultrafilter containing the set of weakly hyper-Woodin cardinals below it.

• 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

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/Shelah cardinal. Read more