nLab
regular extension axiom

The regular extension axiom

Idea

The Regular Extension Axiom is a foundational axiom which asserts the existence of arbitrarily large regular cardinal-like sets. It has several variants, some of which are provable in ZF, some of which are provable from the axiom of choice or weaker variants thereof such as SVC, and some of which are not even provable in ZFC.

Variants

References

  • Michael Rathjen? and Robert Lubarsky?, On the regular extension axiom and its variants, PDF – broken link

Revised on February 19, 2014 18:57:19 by Mike Shulman (108.225.238.144)