Iterable cardinal

In mathematics, an iterable cardinal is a type of large cardinal introduced by Gitman (2011) and studied by Gitman and Welch (2011). Gitman 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 κ allowing an iteration of length α.

References

External links

This article is issued from Wikipedia - version of the 8/28/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.