Back to Results
First PageMeta Content



On the regular extension axiom and its variants Michael Rathjen∗†and Robert S. Lubarsky‡ Abstract The regular extension axiom, REA, was first considered by Peter Aczel in the context of Constructive Zermelo-Fraenke
Add to Reading List

Document Date: 2012-10-11 14:54:24


Open Document

File Size: 169,86 KB

Share Result on Facebook