Stephen G. Simpson (simpson-sg)

Contributi a Philosophie.ch

Bibliography

Feferman, Solomon, Parsons, Charles and Simpson, Stephen G., eds. 2010. Kurt Gödel. Essays for his Centennial. Cambridge: Cambridge University Press.
Harrington, Leo A., Morley, M. D., Ščedrov, Andrej and Simpson, Stephen G., eds. 1985. Harvey Friedman’s Research on the Foundations of Mathematics. Studies in Logic and the Foundations of Mathematics n. 117. Amsterdam: North-Holland Publishing Co.
Hrbacek, Karel and Simpson, Stephen G. 1980. “On Kleene Degrees of Analytic Sets.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 347–352. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Schmerl, James H. and Simpson, Stephen G. 1982. “On the Role of Ramsey Quantifiers in First Order Arithmetic.” The Journal of Symbolic Logic 47: 423–435.
Simpson, Stephen G. 1977. “Degrees of Unsolvability: A Survey of Results.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 631–652. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Simpson, Stephen G. 1980. “The Hierarchy Based on the Jump Operator.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 267–276. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Simpson, Stephen G. 1988. “Partial Realizations of Hilbert’s Program.” The Journal of Symbolic Logic 53: 349–363.
Simpson, Stephen G. 1999. Subsystems of second order arithmetic. Perspectives in Mathematical Logic. Berlin: Springer.
Simpson, Stephen G. 2002. “Predicativity: The Outer Limits.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 130–137. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Simpson, Stephen G. 2005. “Mass Problems and Randomness.” The Bulletin of Symbolic Logic 11: 1–27.
Simpson, Stephen G. 2010. “The Gödel Hierarchy and Reverse Mathematics.” in Kurt Gödel. Essays for his Centennial, edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, pp. 109–127. Cambridge: Cambridge University Press.
Simpson, Stephen G. and Yokoyama, Keita. 2013. “Reverse Mathematics and Peano Categoricity.” Annals of Pure and Applied Logic 164(3): 284–293, doi:10.1016/j.apal.2012.10.014.