Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM

Intuitionism and Proof Theory

Akiko Kino, John Myhill, R. E. Vesley · 1970 · 373 citations

Humanities, Mathematics, Logic +9

Proof-theoretic analysis of KPM

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

Computing, Computer Science, Mathematics +7

A new system of proof-theoretic ordinal functions

Wilfried Buchholz · Annals of Pure and Applied Logic · 1986 · 71 citations · Full text

Natural Sciences, Computer Science, Mathematics +12

Proof theory of reflection

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

Natural Sciences, Mathematics, Optics +3

Ordinal notations based on a weakly Mahlo cardinal

Michael Rathjen · Archive for Mathematical Logic · 1990 · 41 citations

Natural Sciences, Mathematics, Number Theory +10