Abstract
This is a personal reminiscence about the work I did under the direction of Leon Henkin during the last year of my graduate studies, work that proved to be fortuitous in the absence of Alfred Tarski, my thesis advisor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Throughout, I use “interpretable” here to mean relatively interpretable in the sense of Tarski, Mostowski, and Robinson; see [20].
- 2.
Actually, a further simplification of Henkin’s argument due to Hasenjaeger (see [10]) became the preferred mode of presentation.
- 3.
I was pleased to learn in 1957 that Andrzej Ehrenfeucht obtained the sought-for decidability results; he applied back-and-forth methods rather than the elimination of quantifier methods that Tarski had expected. And, as it later turned out, the basic idea of generalized powers that I had introduced to reduce the decision problem could be combined in a fruitful way with the work of my fellow student Bob Vaught on sentences preserved under Cartesian products, leading to the paper Feferman and Vaught [7] on generalized products of theories.
- 4.
Years later, I learned from Steve Givant that this was the standard route for proving the representation theorem, but I have not checked the literature to see exactly how it is usually presented.
- 5.
Tarski told John Corcoran that he considered himself to be “the greatest living sane logician”; cf. [1, p. 5]. My frustrations working with Tarski as a student were by no means unique as is testified to in the many stories in that biography.
- 6.
- 7.
As is well known nowadays, this can be improved to arbitrary recursively enumerable extensions of the fragment Σ 1-IA of PA and even weaker theories.
- 8.
See Visser [24] for a full exploration of the phenomenon of interpretability of inconsistency.
- 9.
I spent the first year at Stanford writing up my thesis (see [2]) and received the Ph.D. at UC Berkeley in 1957.
- 10.
- 11.
Orey had heard me talk about my thesis work at the Institute for Symbolic Logic held at Cornell in the summer of 1957, and that led him to his theorem, which he kindly let me include in my 1960 publication; cf. also Orey [19].
References
Feferman, A.B., Feferman, S.: Alfred Tarski. Life and Logic. Cambridge University Press, New York (2004)
Feferman, S.: Formal Consistency Proofs and Interpretability of Theories. Dissertation, Univ. of California at Berkeley, Berkeley (1957)
Feferman, S.: Arithmetization of metamathematics in a general setting. Fundam. Math. 49, 35–92 (1960)
Feferman, S.: Transfinite recursive progressions of axiomatic theories. J. Symb. Log. 27, 259–316 (1962)
Feferman, S.: Systems of predicative analysis. J. Symb. Log. 29, 1–30 (1964)
Feferman, S.: My route to arithmetization. Theoria 63(3), 168–181 (1997)
Feferman, S., Vaught, L.: The first order properties of products of algebraic systems. Fundam. Math. 47, 57–103 (1959)
Hájek, P., Pudlák, P.: Metamathematics of First Order Arithmetic. Springer, Berlin (1993)
Halbach, V., Visser, A.: The Henkin sentence. (This volume)
Hasenjaeger, G.: Eine Bemerkung zu Henkin’s Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. J. Symb. Log. 18, 42–48 (1953)
Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Log. 14, 159–166 (1949)
Henkin, L.: A problem concerning provability. J. Symb. Log. 17, 160 (1952)
Hilbert, D., Bernays, P.: Grundlagen der Mathematik, Vol. II. Springer, Berlin (1939)
Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)
Kreisel, G.: On a problem of Henkin’s. Indag. Math. 15, 405–406 (1953)
Lindström, P.: Some results on interpretability. In: Jensen, F.V., et al. (eds.) Proceedings of the 5th Scandinavian Logic Symposium, pp. 329–361. Aalborg Univ. Press, Aalborg (1979)
Lindström, P.: Interpretability in reflexive theories—A survey. Theoria 63(3), 182–209 (1997)
Löb, M.H.: Solution of a problem of Leon Henkin. J. Symb. Log. 20, 115–118 (1955)
Orey, S.: Relative interpretations. Z. Math. Log. Grundl. Math. 7, 146–153 (1961)
Tarski, A., Mostowski, A., Robinson, R.M.: Undecidable Theories. North-Holland, Amsterdam (1953)
Turing, A.: Systems of logic based on ordinals. Proc. Lond. Math. Soc. 245, 161–228 (1939)
Wang, H.: Arithmetical models for formal systems. Methodos 3, 217–232 (1951)
Visser, A.: Interpretability logic. In: Petkov, P. (ed.) Mathematical Logic, pp. 175–208. Plenum Press, New York (1990)
Visser, A.: The interpretability of inconsistency. In: Logic Group Preprint Series, Preprint Series of the Department of Philosophy, vol. 318. Universiteit Utrecht (2014). Available via http://www.phil.uu.nl/preprints/lgps/authors/visser/
Acknowledgements
I wish to thank Anita Burdman Feferman and Albert Visser for their helpful comments on a draft of this article.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Feferman, S. (2014). A Fortuitous Year with Leon Henkin. In: Manzano, M., Sain, I., Alonso, E. (eds) The Life and Work of Leon Henkin. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-09719-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-09719-0_5
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-09718-3
Online ISBN: 978-3-319-09719-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)