REFERENCES
Balaguer, M.: 1995, ‘A Platonist Epistemology', Synthese 103, 303–325.
Feferman, S.: 1960, ‘Arithmetization of Metamathematics in a General Setting', Fundamenta Mathematica XLIX, 35–92.
Feferman, S.: 1988, ‘Hilbert's Program Relativized', Journal of Symbolic Logic 53, 364–384.
Feferman, S.: 1993, ‘Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics', PSA 1992, ii, 442–455.
Feferman, S.: 1998, ‘What Rests on What? The Proof-Theoretic Analysis of Mathematics', in In the Light of Logic, Oxford University Press.
Hofweber, T.: 1999, Ontology and Objectivity, PhD Thesis, Stanford University.
Hofweber, T.: 1998, ‘Number Determiners, Numbers, and Arithmetic', unpublished manuscript.
Linsky, B. and E. N. Zalta: 1995, ‘Naturalized Platonism and Platonized Naturalism', Journal of Philosophy 92, 525–555.
Mancosu, P.: 1996, ‘Hilbert and Bernays on Metamathematics', From Brower to Hilbert, Oxford University Press.
Smorynski, C.: 1985, ‘Nonstandard Models and Related Developments', Harvey Friedman's Research in the Foundations of Mathematics, North-Holland, Amsterdam, pp. 179–229.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hofweber, T. Proof-Theoretic Reduction As A Philosopher's Tool. Erkenntnis 53, 127–146 (2000). https://doi.org/10.1023/A:1005670319780
Issue Date:
DOI: https://doi.org/10.1023/A:1005670319780