Wilfrid Hodges

Q: What Schools Are Affiliated With Wilfrid Hodges

Wilfrid Hodges is affiliated with the following schools: University of Colorado Boulder, University of Oxford, University of California, Los Angeles, Queen Mary University of London

Wilfrid Hodges's AcademicInfluence.com Rankings

Wilfrid Hodges

Mathematics

#1417

World Rank

#2336

Historical Rank

Measure Theory

#1437

World Rank

#1802

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Wilfrid Hodges Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Wilfrid Augustine Hodges, FBA is a British mathematician and logician known for his work in model theory. Life Hodges attended New College, Oxford , where he received degrees in both Literae Humaniores and 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. Hodges was Professor of Mathematics at Queen Mary College, University of London from 1987 to 2006 and is the author of books on logic.

(See a Problem?)

Wilfrid Hodges's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Model theory (1993) (888)
A Shorter Model Theory (1997) (827)
CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS (1980) (701)
Compositional Semantics for a Language of Imperfect Information (1997) (330)
The Small Index Property for ω‐Stable (ω‐Categorical Structures and for the Random Graph (1993) (155)
Building Models by Games (1985) (149)
Elementary Predicate Logic (1983) (142)
Formal Features of Compositionality (2001) (135)
Logic and Games (2001) (67)
Logical features of Horn Clauses (1993) (57)
In singular cardinality, locally free algebras are free (1981) (56)
Some combinatorics of imperfect information (2001) (49)
Logic: from foundations to applications: European logic colloquium (1996) (44)
An Editor Recalls Some Hopeless Papers (1998) (43)
Krull Implies Zorn (1979) (37)
AN INTRODUCTION TO STABILITY THEORY (Oxford Logic Guides, 8) (1984) (34)
VIII*-TRUTH IN A STRUCTURE (1986) (33)
What is a Structure Theory (1987) (30)
ALMOST FREE MODULES: SET‐THEORETIC METHODS (North‐Holland Mathematical Library 46) (1994) (30)
Infinite games and reduced products (1981) (27)
Conference in Mathematical Logic — London ’70 (1972) (25)
A context principle (2016) (25)
KURT GÖDEL COLLECTED WORKS, Volume III (Unpublished Essays and Lectures) Edited by Solomon Feferman et al.: 532 pp., £45.00, ISBN 0 19 507255 3 (Oxford University Press, 1995) (1997) (25)
Compositionality is not the problem (2004) (24)
First-order Model Theory (2001) (23)
Tarski's Theory of Definition (2008) (21)
Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler (1994) (20)
Traditional Logic, Modern Logic and Natural Language (2009) (19)
Dependence of variables construed as an atomic formula (2010) (18)
The Move from One to Two Quantifiers (2015) (16)
A Normal Form for Algebraic Constructions (1974) (15)
Logic - An Introduction to Elementary Logic, 2nd Edition (2001) (15)
Six impossible rings (1974) (15)
On the Effectivity of Some Field Constructions (1976) (14)
Possible Orderings of an Indiscernible Sequence (1977) (14)
The logical content of theories of deduction (1993) (13)
Scientific Integrity in a Politicized World ” (2014) (12)
Mathematical logic (2007) (12)
Categoricity and Permutation Groups (1989) (11)
Automorphisms of Bounded Abelian Groups (1991) (11)
Alfred Tarski and decidable theories (1988) (11)
I—Wilfrid Hodges: A Sceptical Look (2001) (11)
Formalizing the relationship between meaning and syntax (2012) (11)
A combinatorial fact about free algebras (1982) (11)
The Laws of Distribution for Syllogisms (1998) (11)
Jaakko Hintikka, The Principles of Mathematics Revisited (1997) (10)
Classical Logic I: First‐Order Logic (2017) (10)
Note on notation (1993) (10)
Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (2010) (10)
IBN SĪNĀ ON REDUCTIO AD ABSURDUM (2016) (9)
Functional Modelling and Mathematical Models: A Semantic Analysis (2009) (8)
Arabic Logic up to Avicenna (2016) (8)
What languages have Tarski truth definitions? (2004) (8)
Two Early Arabic Applications of Model-Theoretic Consequence (2018) (7)
AROUND CLASSIFICATION THEORY OF MODELS (Lecture Notes in Mathematics 1182) (1987) (7)
Models Built on Linear Orderings (1984) (7)
Interpreting number theory in nilpotent groups (1980) (7)
Naturality and Definability, I (1986) (7)
Affirmative and negative in Ibn Sı̄nā (2012) (6)
Two Doors to Open (2006) (6)
Set Theory, Model Theory, and Computability Theory (2009) (6)
Läuchli's algebraic closure of Q (1976) (5)
Encoding orders and trees in binary relations (1981) (5)
BEGINNING MODEL THEORY (1978) (5)
Models in which all long indiscernible sequences are indiscernible sets (1973) (5)
Remarks on Compositionality (2016) (5)
Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations (2018) (4)
Constructing pure injective hulls (1980) (4)
From Sentence Meanings to Full Semantics (2011) (4)
Medieval Modalities and Modern Method: Avicenna and Buridan (2017) (4)
Editorial Logic and Psychology (2007) (3)
The meaning of specifications II: set-theoretic specification (1993) (3)
Contra Cantor Pro Occam-Proper constructivism with abstraction (2013) (3)
Functorial uniform reducibility (1980) (3)
Notes on the History of Scope (2015) (3)
The Scope and Limits of Logic (2007) (3)
Finite extensions of finite groups (1984) (2)
Ibn Sīnā and Conflict in Logic (2011) (2)
Detecting the Logical Content: Burley's 'Purity of Logic' (2005) (2)
Turing's Philosophical Error? (1998) (2)
Ibn Sina on Modes (2010) (2)
A Linear Meta-interpreter for the Situation Calculus (2008) (2)
European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93 (1995) (2)
A Strongly Differing Opinion on Proof-Theoretic Semantics? (2016) (2)
Finitude and infinitude in the atomic calculus of individuals (1968) (2)
On order-types of models (1972) (2)
An experimental course in mathematical writing (2004) (2)
Relative categoricity in abelian groups II (2009) (2)
A formality (1999) (2)
Proof of Gaifman's conjecture for relatively categorical abelian groups (2011) (1)
REMARKS ON AL-FĀRĀBĪ’S MISSING MODAL LOGIC AND ITS EFFECT ON IBN SĪNĀ (2019) (1)
The System of the Sciences of the Arabic Language by Sakkākī: Logic as a Complement of Rhetoric (2016) (1)
Requirements on a Theory of Sentence and Word Meanings (2012) (1)
Medieval Arabic Notions of Algorithm: Some Further Raw Evidence (2020) (1)
15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) (2008) (1)
Review: Joseph M. Bochenski, The Logic of Religion (1968) (1)
Noninterpretability of Infinite Linear Orders (1995) (1)
Model Theory: Introduction (1993) (1)
From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (2017) (1)
Classical Logic I : First-Order Logic 9 Chapter 1 Classical Logic I : First-Order Logic (2001) (1)
Model Theory: The first-order case: compactness (1993) (1)
Dialogue protocols for formal fallacies: A reply to Kacprzak and Yaskorska (2014) (1)
Structures that look alike (1993) (1)
Ibn S¯ in¯ a's alethic modal logic (2015) (1)
Bochenski Joseph M. (Bocheński I. M.). The logic of religion. New York University Press, New York 1965, X + 179 pp. (1968) (1)
Association for Symbolic Logic (1978) (0)
Model Theory of Groups and Automorphism Groups: Groups in pseudofinite fields (1997) (0)
1999 European Summer Meeting of the Association for Symbolic Logic (2000) (0)
Sı̄nā ’ s view of the practice of logic (2010) (0)
Model Theory: Interpretations (1993) (0)
al-Farabi’s Philosophy of Logic and Language (2019) (0)
Association for Symbolic Logic (1981) (0)
BASIC SET THEORY (1980) (0)
Two Early Arabic Applications of Model-Theoretic Consequence (2018) (0)
Model Theory: The Horn case: products (1993) (0)
Model Theory: Naming of parts (1993) (0)
Model Theory as Peacock’s Revenge (2006) (0)
Subscription Information Order Information Back Issues Logic Journal of the Igpl (0)
Model Theory: Combinatorics (1993) (0)
Model theory and algebraic geometry (1997) (0)
Andrzej Mostowski and the Notion of a Model (2018) (0)
Ibn Sı̄nā accepted what he took to be Aristotle ’ s reasons for this policy , and sometimes copied Aristotle by adopting a similar obscurity (2009) (0)
Logic for Mathematical Writing (2007) (0)
Indirect proofs and proofs from assumptions (2004) (0)
Models and Computability: Relative Categoricity in Abelian Groups (1999) (0)
Logic and Foundations (1977) (0)
Logic Exercises for Use in Conjunction with Hodges' Logic (1982) (0)
Naturality and definability II (2001) (0)
CLASSIFICATION THEORY OF SIMPLE LOCALLY FINITE GROUPS BY SIMON RHYS THOMAS A thesis submitted in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY at BEDFORD COLLEGE, UNIVERSITY OF LONDON (2016) (0)
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings (2008) (0)
Syntax and Meaning in Sīrāfī and Ibn Sīnā (2013) (0)
A Symposium on Hilbert's Program (1988) (0)
Model Theory: References (1993) (0)
Model Theory: Expansions and categoricity (1993) (0)
Association for Symbolic Logic (1994) (0)
International union of history and philosophy of science; division of logic, methodology and philosophy of science bulletin no. 17 (2004) (0)
Survey/expository papers (1986) (0)
Model Theory: Appendix: Examples (1993) (0)
Morley Michael. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967 , edited by Löb M. H., Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 109–158. (1974) (0)
Existentially Closed Groups and Determinacy (1993) (0)
How Did Avicenna Understand the Barcan Formulas? (2022) (0)
Formal Logic a Workbook (1980) (0)
MODELS AND ULTRAPRODUCTS: AN INTRODUCTION (1971) (0)
Model Theory: The countable case (1993) (0)
JSL volume 50 issue 4 Cover and Back matter and Errata (1985) (0)
The Logic of the Arabians (2007) (0)
Model Theory: The existential case (1993) (0)
Constructive Type Theory and the Dialogical Approach to Meaning (2019) (0)
FUNDAMENTALS OF STABILITY THEORY (1990) (0)
JSL volume 46 issue 4 Cover and Back matter and Errata (1981) (0)
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (1987) (0)
Model Theory ( Draft 20 Jul 00 ) (2000) (0)
Conference in Mathematical Logic, London '70 : [proceedings] (1972) (0)
Jens Allwood, Lars-Gunnar Andersson and Östen Dahl, Logic in linguistics . Cambridge: Cambridge University Press, 1977. Pp. x + 185. (1979) (0)
Dialogue protocols for formal fallacies: A reply to Kacprzak and Yaskorska (2014) (0)
Survey/expository papers (1986) (0)
EVANS, DM, and HEWITT, PR, Counterexamples to a con-jecture on relative categoricity GOODMAN, ND, Topological models of epistemic set theory HEWITT, PR, see EVANS, DM (1990) (0)
Editors' foreword for JCSS WoLLIC 2008 (2010) (0)
TARSKI'S VISION AND OURS (1971) (0)
a's predicate logic for a walk (2010) (0)
Jan Salamucha. The proof ‘ex motu’ for the existence of God: Logical analysis of St. Thomas' arguments. English translation of 4212 by Tadeusz Gierymski and Marian Heitzman. The new Scholasticism , vol. 32 (1958), pp. 334–372. (1969) (0)
Books in review (1984) (0)
Jacques Monod. Chance and Necessity—An essay on the Natural Philosophy of Modern Biology. Pp. 187. (Collins-Fontana Books, 1974.) (1975) (0)
Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations (2016) (0)
A Visit to Tarski's Seminar on Elimination of Quantifiers (2011) (0)
Ibn Sı̄nā on patterns of proofs (2009) (0)
Association for Symbolic Logic (2004) (0)
JSL volume 47 issue 4 Cover and Back matter and errata (1982) (0)
Logic, Methodology and Philosophy of Science - Proceedings of the 14th International Congress (Nancy) (2015) (0)
Conditionality: Syntax and Meaning in al-Sīrāfī and Ibn Sīnā (2019) (0)
Chapter 1 Classical Logic I : First-Order Logic (2008) (0)
AXIOMATIC SET THEORY (1975) (0)
Syntax, Semantics, and Pragmatics in al-Sīrāfī and Ibn Sīnā (2018) (0)
Avicenna’s Deliverance: Logic by Asad Q. Ahmed (review) (2013) (0)
Review: Michael Morley, M. H. Lob, Partitions and Models (1974) (0)
A correctness proof for al-Barakāt’s logical diagrams (2021) (0)
Logic and Philosophy of Science in Nancy (I) (2014) (0)
In the absence of a precise concept of what it is for evidence to be inspectable or abstract, it is not possible to give a strict proof of Bemays’ (2004) (0)
HEURISTIC PRINCIPLES AND LOGICAL CALCULI (1974) (0)

This paper list is powered by the following services:

Other Resources About Wilfrid Hodges

en.wikipedia.org

What Schools Are Affiliated With Wilfrid Hodges?

Wilfrid Hodges is affiliated with the following schools:

Wilfrid Hodges's Academic­Influence.com Rankings