Iterable cardinal

In mathematics, an iterable cardinal is a type of large cardinal introduced by Gitman (2011), and Sharpe and Welch (2011), and further studied by Gitman and Welch (2011). Sharpe and Welch defined a cardinal κ to be iterable if every subset of κ is contained in a weak κ-model M for which there exists an M-ultrafilter on κ which allows for wellfounded iterations by ultrapowers of arbitrary length. Gitman gave a finer notion, where a cardinal κ is defined to be α-iterable if ultrapower iterations only of length α are required to wellfounded. (By standard arguments iterability is equivalent to ω₁-iterability.)

References

• Gitman, Victoria (2011), "Ramsey-like cardinals I", Journal of Symbolic Logic 76 (2): 519–540, doi:10.2178/jsl/1305810762 
• Gitman, Victoria; Welch, P. D. (2011), "Ramsey-like cardinals II", Journal of Symbolic Logic 76 (2): 541–560, doi:10.2178/jsl/1305810763 
• Sharpe, Ian; Welch, P. D. (2011), "Greatly Erdős Cardinals with some generalizations to the Chang and Ramsey properties", Annals of Pure and Applied Logic 162 (2): 863–902, doi:10.1016/j.apal.2011.04.002 

External links

• Diagram of iterable cardinals