Michael Rathjen
Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions![Open Access Link](images/OAlink.png)
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
The constructive Hilbert program and the limits of Martin-löf type theory![Open Access Link](images/OAlink.png)
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Theories and ordinals in proof theory![Open Access Link](images/OAlink.png)
2006
Synthese 148/3
![Open Access Link](images/OAlink.png)
The constructive Hilbert program and the limits of Martin-Löf type theory![Open Access Link](images/OAlink.png)
2005
Synthese 147/1
![Open Access Link](images/OAlink.png)