![126359](https://sdvigpress.org/images/creator/_default.jpg)
References
Peter Aczel
Local constructive set theory and inductive definitions![Open Access Link](images/OAlink.png)
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
A constructive version of the lusin separation theorem![Open Access Link](images/OAlink.png)
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
![Open Access Link](images/OAlink.png)