Stephen G. Simpson

Partial realizations of Hilbert's program

Stephen G. Simpson · Journal of Symbolic Logic · 1988 · 131 citations

Humanities, Mathematics, Philosophy +7

A dual form of Ramsey's Theorem

Timothy J. Carlson, Stephen G. Simpson · Advances in Mathematics · 1984 · 131 citations

Natural Sciences, Mathematics, Set Theory +4

Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship.

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith · Annals of Pure and Applied Logic · 1983 · 128 citations

Natural Sciences, Mathematics, Algebra +7

Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

Stephen G. Simpson · Journal of Symbolic Logic · 1984 · 90 citations

Natural Sciences, Computer Science, Mathematics +10

Ordinal numbers and the Hilbert basis theorem

Stephen G. Simpson · Journal of Symbolic Logic · 1988 · 86 citations

Natural Sciences, Mathematics, Algebra +8