Some Natural Internal Forcing Schemata Extending ZFC
arXiv:math/9209209
Abstract
We give arguments for and prove the consistency of some internal forcing axioms.
arXiv:math/9209209
We give arguments for and prove the consistency of some internal forcing axioms.