Conservativeness and translation-dependent t-schemes

Analysis 60 (4):319–328 (2000)
  Copy   BIBTEX


Certain translational T-schemes of the form True(“f”) « f(f), where f(f) can be almost any translation you like of f, will be a conservative extension of Peano arithmetic. I have an inkling that this means something philosophically, but I don’t understand my own inkling



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

82 (#200,628)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Philosophical explanations.Robert Nozick - 1981 - Cambridge, Mass.: Harvard University Press.
Reason, truth, and history.Hilary Putnam - 1981 - New York: Cambridge University Press.
Reason, Truth and History.Hilary Putnam - 1981 - New York: Cambridge University Press.
Science Without Numbers: A Defence of Nominalism.Hartry H. Field - 1980 - Princeton, NJ, USA: Princeton University Press.
Truth.Paul Horwich - 1990 - Oxford, GB: Clarendon Press. Edited by Frank Jackson & Michael Smith.

View all 26 references / Add more references