My route to arithmetization

Theoria 63 (3):168-181 (2008)
I had the pleasure of renewing my acquaintance with Per Lindström at the meeting of the Seventh Scandinavian Logic Symposium, held in Uppsala in August 1996. There at lunch one day, Per said he had long been curious about the development of some of the ideas in my paper [1960] on the arithmetization of metamathematics. In particular, I had used the construction of a non-standard definition !* of the set of axioms of P (Peano Arithmetic) to show that P + {¬ Con!} is interpretable in P, where ! is a standard definition of the axioms of P and Con! expresses the consistency of P via that presentation. Per pointed out that there is a simple “two-line” proof of this interpretability result which does not require the use of such formulas as !*, and he wondered whether I had been aware of that. In fact, his proof had never occurred to me, and if it had at the time, it is possible I would never have been led to the use of non-natural definitions. Per regarded this as a happy accident, since subsequent work by him and others on interpretability made essential use of such definitions. In our conversation, I enlarged a bit on the background to my work on arithmetization, and when I was invited to contribute to this special issue of Theoria dedicated to Lindström, it seemed a natural choice to use the occasion to fill out the story. One caveat, though: the following is drawn largely from memory, not always reliable, supplemented by consultation of the 1960 paper and the 1957 dissertation from which it was drawn.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1111/j.1755-2567.1997.tb00746.x
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,209
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
William Craig (1953). On Axiomatizability Within a System. Journal of Symbolic Logic 18 (1):30-32.

View all 17 references / Add more references

Citations of this work BETA
Albert Visser (2009). The Predicative Frege Hierarchy. Annals of Pure and Applied Logic 160 (2):129-153.
Albert Visser (2016). Transductions in Arithmetic. Annals of Pure and Applied Logic 167 (3):211-234.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

81 ( #58,390 of 1,941,042 )

Recent downloads (6 months)

34 ( #13,954 of 1,941,042 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.