Wilfrid Augustine Hodges, FBA (born 27 May 1941) is a British mathematician and logician known for his work in model theory. Hodges attended New College...
6 KB (365 words) - 17:33, 24 December 2023
introduction, 3rd edition. Malden, MA: Wiley-Blackwell. Chiswell, Ian and Wilfrid Hodges 2007. Mathematical logic. Oxford: Oxford University Press. Aho, A. V...
10 KB (1,356 words) - 16:39, 4 October 2024
have perfect information about previous moves by the other player. Wilfrid Hodges has proposed a compositional semantics and proved it equivalent to game...
22 KB (2,739 words) - 13:56, 19 April 2024
ISSN 1355-6509. S2CID 142611273. Aristotle. "Γ". Metaphysics. 1010a. Logic by Wilfrid Hodges, p. 13 Heidel, William Arthur (1913). "On Certain Fragments of the Pre-Socratics"...
121 KB (13,624 words) - 11:56, 14 October 2024
and Semantic Theories of Truth. Pendlebury Press, ISBN 0993594549. Wilfrid Hodges, 2001. Tarski's truth definitions. In the Stanford Encyclopedia of Philosophy...
9 KB (1,050 words) - 17:46, 9 July 2024
Society. doi:10.1090/ulect/050. ISBN 9780821848937. Hodges (1993), p. 68-69 Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories"...
62 KB (9,048 words) - 08:47, 4 August 2024
Foundations of Mathematics. Amsterdam: Elsevier. ISBN 9780444863881. Hodges, Wilfrid (1997). A shorter model theory. Cambridge University Press. ISBN 9780521587136...
68 KB (8,331 words) - 20:24, 9 September 2024
of science Doctoral advisor Hilary Putnam President of the DLMPST/IUHPST In office 2012–2015 Preceded by Wilfrid Hodges Succeeded by Menachem Magidor...
19 KB (1,947 words) - 05:59, 12 April 2024
Bedford College, University of London in 1973 under the supervision of Wilfrid Hodges with a dissertation titled Models of Number Theory. After his PhD he...
6 KB (612 words) - 10:52, 16 January 2024
theology, but that it has no proper place in mathematics. Logician Wilfrid Hodges (1998) has commented on the energy devoted to refuting this "harmless...
23 KB (3,023 words) - 15:28, 8 July 2024