My route to arithmetization

Theoria 63 (3):168-181 (1997)
Abstract
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)
Reprint years 2008
DOI 10.1111/j.1755-2567.1997.tb00746.x
Options
 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
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,655
Through your library
References found in this work BETA
The Incompleteness Theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
On Axiomatizability Within a System.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.

View all 17 references / Add more references

Citations of this work BETA
The Predicative Frege Hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.
A History of Theoria.Sven Ove Hansson - 2009 - Theoria 75 (1):2-27.
Transductions in Arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-01-28

Total downloads

81 ( #63,674 of 2,158,237 )

Recent downloads (6 months)

1 ( #355,837 of 2,158,237 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums