Derivatives of normal functions in reverse mathematics

Systems of predicative analysis

Solomon Feferman · Journal of Symbolic Logic · 1964 · 374 citations

Natural Sciences, Mathematics, Philosophy +7

Proof-theoretic investigations on Kruskal's theorem

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

Natural Sciences, Mathematics, Geometry +4

The Axiom of Choice and the Class of Hyperarithmetic Functions

G. Kreisel · Indagationes Mathematicae (Proceedings) · 1962 · 58 citations

Natural Sciences, Mathematics, Discrete Mathematics +6

THE VEBLEN FUNCTIONS FOR COMPUTABILITY THEORISTS

2010 · 44 citations

Computing, Computer Science, Mathematics +8

The Veblen functions for computability theorists

Journal of Symbolic Logic · 2011 · 27 citations · Full text

Computing, Computer Science, Mathematics +8