Michael Rathjen
in English
X(2005). The constructive Hilbert program and the limits of Martin-Löf type theory. Synthese, 147 (1), 81-120. https://doi.org/10.1007/s11229-004-6208-4.
(2006). Theories and ordinals in proof theory. Synthese, 148 (3), 719-743. https://doi.org/10.1007/s11229-004-6297-0.
(2009). The constructive Hilbert program and the limits of Martin-löf type theory. In E. Palmgren & K. Segerberg (eds.) Logicism, intuitionism, and formalism (pp. 397-433). Dordrecht: Springer.
(2012). Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions. In P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.) Epistemology versus ontology (pp. 313-349). Dordrecht: Springer.