Catalogue > People > Profile

ProfilePublications

Michael Rathjen

editions X

4 Publications

Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions

2012

Michael Rathjen

in: Epistemology versus ontology, Berlin,

The constructive Hilbert program and the limits of Martin-löf type theory

2009

Michael Rathjen

in: Logicism, intuitionism, and formalism, Berlin,

Theories and ordinals in proof theory

2006

Michael Rathjen

Synthese 148 (3)

The constructive Hilbert program and the limits of Martin-löf type theory

2005

Michael Rathjen

Synthese 147 (1)

4 Publications