Wilfrid Hodges

Wilfrid Hodges

Wilfrid Hodges (born 1941) is a British mathematician, known for his work in model theory. He is Professor of Mathematics at Queen Mary, University of London and author of numerous books on logic.

He attended New College, Oxford (1959-65), where he received degrees in both "Literae Humaniores" and (Christianic) Theology. In 1970 he was awarded a doctorate for a thesis in Logic. He lectured in both Philosophy and Mathematics at Bedford College, University of London. He has held visiting appointments in the department of philosophy at the University of California and in the department of mathematics at University of Colorado.

He was President of the British Logic Colloquium and of the European Association for Logic, Language and Information.

Wilfrid Hodges' books are written in an informal style. The "Notes on Notation" in his book "Model theory" end with the following characteristic sentence:

:'I' means I, 'we' means we.

When this 780-page book appeared in 1993, it quickly replaced "Model Theory" by Chang and Keisler as the standard textbook on model theory. Due to its success an abbreviated version (but with a new chapter on stability theory) was published as a paperback.

Books by Wilfrid Hodges

"Only first editions are listed."

*
*
*
*
*

External links

* [http://www.maths.qmul.ac.uk/~wilfrid/ Home page of Wilfrid Hodges]
*MathGenealogy |id=55341


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Wilfrid Hodges — Wilfrid Augustine Hodges (* 27. Mai 1941) ist ein britischer Logiker, der sich unter anderem mit Modelltheorie und Universeller Algebra beschäftigt. Wilfrid Hodges in Oberwolfach 1988 Hodges studierte 1959 bis 1965 an der Universität Oxford (am… …   Deutsch Wikipedia

  • Hodges — ist der Familienname folgender Personen: Andrew Hodges (* 1949), britischer Physiker und Turing Biograph Asa Hodges (1822–1900), US amerikanischer Politiker Charles D. Hodges (1810–1884), US amerikanischer Politiker Courtney Hicks Hodges… …   Deutsch Wikipedia

  • Wilfrid — (auch Wilfrith) war eine Person der britannischen Kirchengeschichte des 7. Jahrhunderts. Sein Leben stand unter dem Zeichen des Disputs zwischen keltischen und römischen Einflüssen in der englischen Kirche. Wilfrid wurde um 634 in Northumbria… …   Deutsch Wikipedia

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Independence-friendly logic — (IF logic), proposed by Jaakko Hintikka and Gabriel Sandu, aims at being a more natural and intuitive alternative to classical first order logic (FOL). IF logic is characterized by branching quantifiers. It is more expressive than FOL because it… …   Wikipedia

  • Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …   Wikipedia

  • Théorème de Krull — En algèbre commutative, le théorème de Krull est un résultat fondamental établissant l existence d idéaux maximaux pour les anneaux commutatifs, démontré en 1929, par le mathématicien allemand Wolfgang Krull[1]. Relativement à la théorie de… …   Wikipédia en Français

  • Dependence logic — is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… …   Wikipedia

  • Metaphilosophy — Metaphilosophy, also called philosophy of philosophy, is the study of the nature, aims, and methods of philosophy. The term is derived from Greek word meta μετά ( after , beyond , with ) and philosophía φιλοσοφία ( love of wisdom ). The term has… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”