Extending the extensional level of the Minimalist Foundation to axiomatic set theories
arXiv:2102.12888
Abstract
We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.