Stephen G. Simpson: Books
I am Stephen G. Simpson, a mathematician at Penn State
University and at Vanderbilt University.
Here is a list of books which I have authored or edited.
- Leo Harrington, Michael Morley, Andre Scedrov and Stephen
G. Simpson (editors), Harvey Friedman's Research in the
Foundations of Mathematics, Studies in Logic and the
Foundations of Mathematics, North-Holland, Amsterdam, 1985, XVI +
408 pages.
- Stephen G. Simpson (editor), Logic and
Combinatorics, Contemporary Mathematics, Volume 65, American
Mathematical Society, 1987, XI + 394 pages.
- Stephen G. Simpson, Subsystems of Second Order
Arithmetic, Perspectives in Mathematical Logic,
Springer-Verlag, 1999, XIV + 445 pages.
- Stephen G. Simpson (editor), Reverse Mathematics
2001; Lecture Notes in Logic, Volume 21, Association for
Symbolic Logic, 2005, X + 401 pages.
- Stephen G. Simpson, Subsystems of Second Order
Arithmetic, Second Edition, Perspectives in Logic,
Association for Symbolic Logic, Cambridge University Press, 2009,
XVI + 444 pages.
- Solomon Feferman, Charles Parsons, and Stephen G. Simpson
(editors), Kurt Gödel: Essays for his Centennial,
Association for Symbolic Logic, Cambridge University Press,
2010, X + 373 pages.
More information on Subsystems of Second
Order Arithmetic and Reverse
Mathematics 2001 is available.
Also available are my complete list of
publications and information on my
recent and upcoming talks.
t20@psu.edu / 25 July 2023