Michael Rathjen
4 Publications
Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions
2012
in: Epistemology versus ontology, Berlin,
The constructive Hilbert program and the limits of Martin-löf type theory
2009
in: Logicism, intuitionism, and formalism, Berlin,
Theories and ordinals in proof theory
2006
Synthese 148 (3)
The constructive Hilbert program and the limits of Martin-löf type theory
2005
Synthese 147 (1)
4 Publications