Concepedia

Michael Rathjen

MR

Statistics

Publications

38

Citations

1K

H-Index

19

Active since

1990

Affiliations

University of Leeds(Current)

The Ohio State University

University of Münster

Ghent University

Stanford University

Michael Rathjen is an author at University of Leeds specializing in mathematics, natural sciences, and set theory.

ORCID

Publications per year

1990–2022

38

Publications

38

Proof-theoretic investigations on Kruskal's theorem

Michael Rathjen, Andreas Weiermann · Annals of Pure and Applied Logic · 1993 · 118 citations

, , +4

Proof-theoretic analysis of KPM

Michael Rathjen · Archive for Mathematical Logic · 1991 · 78 citations

, , +7

The strength of some Martin-L�f type theories

Edward Griffor, Michael Rathjen · Archive for Mathematical Logic · 1994 · 75 citations

, , +4

Proof theory of reflection

Michael Rathjen · Annals of Pure and Applied Logic · 1994 · 60 citations

, , +3

Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems

Michael Rathjen · Bulletin of Symbolic Logic · 1995 · 57 citations

, , +8

1–5 of 38