Skip to main content
SpringerLink
Log in

Leon Henkin and a Life of Service

  • Chapter
The Life and Work of Leon Henkin

Part of the book series: Studies in Universal Logic ((SUL))

  • 705 Accesses

Abstract

For 45 years, Leon Henkin provided dedicated, unstinting service to people learning mathematics. During most of that time, the author had personal contact with him. Henkin’s seminars, projects, letters, and advice influenced the author’s career path on many control points.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    See [9].

  2. 2.

    See [9].

  3. 3.

    See [9].

  4. 4.

    See [6].

  5. 5.

    See [9].

  6. 6.

    See [9].

  7. 7.

    See [9].

  8. 8.

    See [7].

  9. 9.

    See [9].

  10. 10.

    See [8].

References

  1. Addison, J., et al.: In memoriam: Leon Albert Henkin (2006). http://senate.universityofcalifornia.edu/inmemoriam/leonalberthenkin.html

  2. Addison, J., Henkin, L., Tarski, A.: The Theory of Models. North-Holland, Amsterdam (1965)

    MATH  Google Scholar 

  3. Feferman, A.B., Feferman, S.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)

    Google Scholar 

  4. Henkin, L.: Completeness in the theory of types. J. Symb. Log. 15, 81–91 (1950)

    Article  MathSciNet  MATH  Google Scholar 

  5. Henkin, L.: Logical systems containing only a finite number of symbols. Séminaire Mathématiques Supérieures, Université de Montréal (1967)

    Google Scholar 

  6. Henkin, L.: Letter to selected graduate students (February 1971)

    Google Scholar 

  7. Henkin, L.: Letter to Dean William Simmons, Graduate Division, University of California (17 May 1982)

    Google Scholar 

  8. Henkin, L.: Letter to the Dean, Graduate Division; dictated by phone to Jim’s friend Shireen Kaul and signed in Henkin’s name and his own by Morris Hirsch, Chair of Mathematics, University of California, Berkeley (11 November 1982)

    Google Scholar 

  9. Henkin, L.: Letter to whom it may concern. Reference letter for Benjamin Wells (22 January 1984)

    Google Scholar 

  10. Henkin, L.: The discovery of my completeness proofs. Bull. Symb. Log. 2, 127–158 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  11. Henkin, L., et al.: Proceedings of the Tarski Symposium. Proceedings of Symposia in Pure Mathematics, vol. 25 (1974)

    Book  MATH  Google Scholar 

  12. Henkin, L., Amster, H., Schell, L.: Experimental investigation of peer teaching (1975). Final Report. http://eric.ed.gov/?id=ED139753

  13. Henkin, L., Mostowski, A.: Review of A. Mal’cev, On a general method for obtaining local theorems in group theory (Russian), and A.I. Mal’cev, On representations of models (Russian). J. Symb. Log. 24, 55–57 (1959). Includes an historical note concerning [14]

    Article  Google Scholar 

  14. Mal’tsev, A.I.: Untersuchungen aus dem Gebiete der mathematischen Logik. Mat. Sb. N.S. 1(43), 323–336 (1936)

    MATH  Google Scholar 

  15. Mal’tsev, A.I.: The Metamathematics of Algebraic Systems—Collected Papers: 1936–1967. North-Holland, Amsterdam (1971)

    MATH  Google Scholar 

  16. Robinson, A.: Letter to Leon Henkin on Association for Symbolic Logic letterhead with copies to Martin Davis, Dana Scott, and Alfred Tarski (14 May 1968). BANC MSS 84/69, Alfred Tarski papers, courtesy of The Bancroft Library, University of California, Berkeley; also by permission of Martin Davis and Dana Scott

    Google Scholar 

  17. Scott, D.: Private communication (2014)

    Google Scholar 

  18. Wells, B.: Pseudorecursive varieties and their implications for word problems. Ph.D. Dissertation, Univ. of California, Berkeley, CA (1982)

    Google Scholar 

  19. Wells, B.: Applying, extending, and specializing pseudorecursiveness. Ann. Pure Appl. Log. 126, 225–254 (2004)

    Article  MATH  Google Scholar 

  20. Wells, B.: The triumph of the One. In: Sarhangi, R., Sequin, C. (eds.) Bridges: Mathematical Connections in Art, Music, and Science; Bridges 2004 Conference Proceedings, pp. 103–108 (2004)

    Google Scholar 

  21. Wells, B.: Alfred Tarski, friend and daemon. AMS Not. Am. Math. Soc. 54, 982–984 (2007)

    MATH  Google Scholar 

  22. Wells, B.: The prince of logic. In: Ehrenfeucht, A., Marek, V.W., Srebrny, M. (eds.) Andrzej Mostowski and Foundational Studies, pp. 421–428. IOS Press, Amsterdam (2008)

    Google Scholar 

  23. Wells, B.: E-mail to Sol Feferman (15 February 2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departments of Mathematics and of Computer Science, College of Arts and Sciences, University of San Francisco, 2130 Fulton St., San Francisco, CA, 94117, USA

    Benjamin Wells

Authors
  1. Benjamin Wells
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Benjamin Wells .

Editor information

Editors and Affiliations

  1. Department of Philosophy, Logic and Aesthetics, University of Salamanca, Salamanca, Spain

    María Manzano

  2. Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

    Ildikó Sain

  3. Department of Logic and Philosophy of Science, Autonomous University of Madrid, Madrid, Spain

    Enrique Alonso

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Wells, B. (2014). Leon Henkin and a Life of Service. 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_6

Download citation

Publish with us

Policies and ethics

Search

Navigation