Wilfrid Hodges

Wilfrid Augustine Hodges ( born May 27, 1941) is a British logician who deals among other things with model theory and universal algebra.

Hodges studied from 1959 to 1965 at the University of Oxford ( at New College ) Literae Humaniores (classical languages ​​and literature) and theology. In 1970 he received his doctorate in logic in Oxford at John Newsome Crossley ( Some questions on the structure of models ). 1967/69 he was Assistant Professor of Philosophy at the University of California, Los Angeles, and from 1968 Lecturer in the Faculties of Philosophy and Mathematics at Bedford College, London University. From 1974 he was a lecturer in mathematics at Bedford College, from 1981 Reader in mathematical logic at Bedford College and from 1984 at Queen Mary College, University of London, where he was professor from 1987. From 2006 he was " Professorial Fellow" at his university, and from 2009 Professor Emeritus. He was there several times conductor ( Deputy Head ) of the Faculty of Mathematics. Hodges was a visiting scholar and visiting professor at, among others, Isaac Newton Institute in Cambridge, at the Mittag-Leffler Institute in Stockholm, at the University of Colorado at Boulder (1979 /80).

He is the author of several logic textbooks, including an English-language standard work on model theory. Hodges also dealt with the history of logic and translated and commented on some medieval Arabic logicians such as Ibn Sina. In 2009 he became a Fellow of the British Academy. He was president of the British Logic Colloquium and the European Association of Logic, Language and Information.

He is married to a psychiatrist since 1965 and has one son and two daughters.

Among his doctoral students include Alex Wilkie, Anand Pillay.

Writings

  • Logic - An introduction to elementary logic, Penguin Books 1977
  • Building Models by Games. London Mathematical Society Student Texts, Cambridge University Press, 1985
  • Model Theory ( Encyclopedia of Mathematics ), Cambridge University Press, 1993, ISBN 0-521-30442-3.
  • A Shorter Model Theory, Cambridge University Press, 1997, ISBN 0-521-58713-1
  • With Ian Chiswell: Mathematical Logic, 2007
University of Colorado Boulder Boulder (Colorado) Integrated Authority File
820336
de