Conference | Speakers | Profile
![126364](/images/creator/_default.jpg)
Michael Rathjen
Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions
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
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Theories and ordinals in proof theory
2006
Synthese 148/3
![Open Access Link](/images/OAlink.png)
The constructive Hilbert program and the limits of Martin-Löf type theory
2005
Synthese 147/1
![Open Access Link](/images/OAlink.png)