Proof-theoretic reduction as a philosopher's tool

Erkenntnis

Volumn 53, Issue 1-2, 2000, Pages 127-146

  Hofweber, Thomas ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 52849126149     PISSN: 01650106     EISSN: 15728420     Source Type: Journal    
DOI: 10.1023/a:1005670319780     Document Type: Review

References (10)

1. Balaguer, M.: 1995, A Platonist Epistemology', Synthese 103, 303-325.
2. Feferman, S.: 1960, Arithmetization of Metamathematics in a General Setting', Fundamenta Mathematica XLIX, 35-92.
3. Feferman, S.: 1988, 'Hilbert's Program Relativized', Journal of Symbolic Logic 53, 364-384.
4. Feferman, S.: 1993, 'Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics', PSA 1992, ii, 442-455.
5. Feferman, S.: 1998, 'What Rests on What? The Proof-Theoretic Analysis of Mathematics', in In the Light of Logic, Oxford University Press.
6. Hofweber, T.: 1999, Ontology and Objectivity, PhD Thesis, Stanford University.
7. Hofweber, T.: 1998, 'Number Determiners, Numbers, and Arithmetic', unpublished manuscript.
8. Linsky, B. and E. N. Zalta: 1995, 'Naturalized Platonism and Platonized Naturalism', Journal of Philosophy 92, 525-555.
9. Mancosu, P.: 1996, 'Hilbert and Bernays on Metamathematics', From Brower to Hilbert, Oxford University Press.
10. Smoryński, C.: 1985, 'Nonstandard Models and Related Developments', Harvey Friedman's Research in the Foundations of Mathematics, North-Holland, Amsterdam, pp. 179-229.