Advertisement

The Life and Work of Leon Henkin

Essays on His Contributions

  • María Manzano
  • Ildikó Sain
  • Enrique Alonso

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

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Biographical Studies

    1. Front Matter
      Pages 1-1
    2. María Manzano, Enrique Alonso
      Pages 3-22
    3. Diane Resek
      Pages 23-25
    4. Albert Visser
      Pages 33-34
    5. Solomon Feferman
      Pages 35-40
    6. Benjamin Wells
      Pages 41-55
  3. Henkin’s Contribution to XX Century Logic

    1. Front Matter
      Pages 57-57
    2. J. Donald Monk
      Pages 59-66
    3. Concha Martínez Vidal, José Pedro Úbeda Rives
      Pages 93-133
    4. Enrique Alonso
      Pages 135-148
    5. María Manzano
      Pages 149-175
  4. Extensions and Perspectives in Henkin’s Work

    1. Front Matter
      Pages 177-177
    2. Robert Goldblatt
      Pages 179-201
    3. William Gunther, Richard Statman
      Pages 203-216
    4. Vilém Novák
      Pages 225-247
    5. Volker Halbach, Albert Visser
      Pages 249-263
    6. María Manzano
      Pages 265-278
    7. Patrick Blackburn, Antonia Huertas, María Manzano, Klaus Frovin Jørgensen
      Pages 279-306
    8. Hajnal Andréka, Johan van Benthem, Nick Bezhanishvili, István Németi
      Pages 307-337
  5. Back Matter
    Pages 339-351

About this book

Introduction

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991.

This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education. The work discusses Henkin’s intellectual development, his relation to his predecessors and contemporaries, and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.

Keywords

algebraic logic completeness theorems cylindric algebras mathematical education model theory philosophical and foundation studies type theory

Editors and affiliations

  • María Manzano
    • 1
  • Ildikó Sain
    • 2
  • Enrique Alonso
    • 3
  1. 1.Department of Philosophy, Logic and AestheticsUniversity of SalamancaSalamancaSpain
  2. 2.Alfréd Rényi Institute of MathematicsHungarian Academy of SciencesBudapestHungary
  3. 3.Department of Logic and Philosophy of ScienceAutonomous University of MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-09719-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Birkhäuser, Cham
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-3-319-09718-3
  • Online ISBN 978-3-319-09719-0
  • Series Print ISSN 2297-0282
  • Series Online ISSN 2297-0290
  • Buy this book on publisher's site