Stephen G. Simpson: Books
I am Stephen G. Simpson, a mathematician at
Penn State 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 + 384 pages.
- Stephen G. Simpson (author), 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, Association for Symbolic Logic, 2005, X +
401 pages.
- Stephen G. Simpson (author), Subsystems of Second Order
Arithmetic, Second Edition; approximately 459 pages, accepted
August 9, 2005 by the Association for Symbolic Logic for publication
in their book series Perspectives in Logic. This book is now in
galley proofs.
More information on Subsystems of Second
Order Arithmetic and Reverse
Mathematics 2001 is available.
Also available is information on my papers and talks and lecture
notes.
simpson@math.psu.edu / October 4, 2005