Subsystems of second order arithmetic SG Simpson Cambridge University Press, 2009 | 2103 | 2009 |
Partial realizations of Hilbert's program SG Simpson The Journal of Symbolic Logic 53 (2), 349-363, 1988 | 246 | 1988 |
Countable algebra and set existence axioms HM Friedman, SG Simpson, RL Smith Annals of Pure and Applied Logic 25 (2), 141-181, 1983 | 201 | 1983 |
A dual form of Ramsey's theorem TJ Carlson, SG Simpson Advances in Mathematics 53 (3), 265-290, 1984 | 161 | 1984 |
Nonprovability of certain combinatorial properties of finite trees SG Simpson Studies in Logic and the Foundations of Mathematics 117, 87-117, 1985 | 156 | 1985 |
Recursive aspects of descriptive set theory R Mansfield, G Weitkamp (No Title), 1985 | 125 | 1985 |
Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? SG Simpson The Journal of Symbolic Logic 49 (3), 783-802, 1984 | 123 | 1984 |
Harvey Friedman's research on the foundations of mathematics LA Harrington, MD Morley, A Šcedrov, SG Simpson Elsevier, 1985 | 122 | 1985 |
A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis HM Friedman, K McAloon, SG Simpson Studies in Logic and the Foundations of Mathematics 109, 197-230, 1982 | 117 | 1982 |
Reverse mathematics 2001 SG Simpson Cambridge University Press, 2017 | 106 | 2017 |
Ordinal numbers and the Hilbert basis theorem SG Simpson The Journal of Symbolic Logic 53 (3), 961-974, 1988 | 105 | 1988 |
First-order theory of the degrees of recursive unsolvability SG Simpson Annals of Mathematics 105 (1), 121-139, 1977 | 102 | 1977 |
Degrees of unsolvability: a survey of results SG Simpson Studies in Logic and the Foundations of Mathematics 90, 631-652, 1977 | 100 | 1977 |
The α-finite injury method GE Sacks, SG Simpson Selected Logic Papers 6, 181, 1999 | 93 | 1999 |
Mass problems and randomness SG Simpson Bulletin of Symbolic Logic 11 (1), 1-27, 2005 | 90 | 2005 |
Logical analysis of some theorems of combinatorics and topological dynamics AR Blass, JL Hirst, SG Simpson Logic and combinatorics (Arcata, Calif., 1985) 65, 125-156, 1987 | 88 | 1987 |
Measure theory and weak König's lemma X Yu, SG Simpson Archive for Mathematical Logic 30 (3), 171-180, 1990 | 85 | 1990 |
Factorization of polynomials and Σ10 induction SG Simpson, RL Smith Annals of Pure and Applied Logic 31, 289-306, 1986 | 84 | 1986 |
Reverse mathematics SG Simpson Proc. Symposia Pure Math 42, 461-471, 1985 | 76 | 1985 |
Which set existence axioms are needed to prove the separable Hahn-Banach theorem? DK Brown, SG Simpson Annals of Pure and Applied Logic 31, 123-144, 1986 | 72 | 1986 |