zbMATH — the first resource for mathematics

April the 19th. (English) Zbl 1330.03005
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 265-278 (2014).
Summary: This paper is about my book [Extensions of first order logic. Cambridge: Cambridge Univ. Press (1996; Zbl 0848.03001)]. The main purpose of it being to pinpoint Henkin’s influence concerning the translation technique proposed in the book.
Several extensions of first order logic are introduced in Extensions, while trying to pursue the thesis that most reasonably logical systems can be naturally translated into many-sorted first order logic. I did credit most of the ideas involved in my translation to L. Henkin’s paper [J. Symb. Log. 15, 81–91 (1950; Zbl 0039.00801); J. Symb. Log. 18, 201–208 (1953; Zbl 0053.20003)].
For the entire collection see [Zbl 1300.01009].

03-03 History of mathematical logic and foundations
01A60 History of mathematics in the 20th century
Full Text: DOI