Mathematical Background to the Logic of Ibn Sina. Perspectives in Logic (in preparation).
'Abû al-Barakât's logical diagrams and their possible sources' (submitted for Proceedings of International Colloquium of SIHSPAI, Naples 2019).
`The syllogistic of Abu l-Barakat al-Baghdadi' (submitted).
'The early development of Ibn Sina's formal logic' (submitted for Proceedings of Avicenna Study Group 4, Aix-en-Provence 2023).
2025
'Avicenna's logics with sentence-type terms: 2. Syllogisms in an incomplete part' (to appear in YuriFest 2025).
2024
'Avicenna's logics with sentence-type terms: 1. Wholly muttasil syllogisms', Journal of Logic and Computation (2024): exae032 (online).
'Meeting Boris Zilber', Model Theory 3 (2) (2024): 203-211.
2023
'A correctness proof for al-Barakât's logical diagrams', Review of Symbolic Logic 16 (2) (2023), 369-384.
DOI: https://doi.org/10.1017/S1755020321000332.
'How did Avicenna understand the Barcan formulas?', Logic Journal of the IGPL 31 (6) (2023) 1170-1191.
2022
Reminiscence of Ronald Smith, in 'Ronald Smith (3rd January 1922—27th May 2004), An Anthology of Centenary Tributes', Supplement to Bulletin 103 of the Alkan Society.
With Manuela E. B. Giolfo: 'Al-Farabi against the grammarians??', in Manuel Sartori and Francesco Binaghi eds.,
The Foundations of Arab Linguistics V: Kitab Sibawayhi, The Critical Theory, Brill, Leiden 2022, pp. 157-178.
'DLMPS - Tarski's vision and ours' (edited and updated from 2014 below by Benedikt Loewe), in Benedikt Loewe and Deniz Sarikaya eds., 60 Jahre DVMLG, College Publications, Rickmansworth 2022, pp. 103-119.
Review, 'N. Germann and S. Harvey editors. The Origin and Nature of Language and Logic: Perspectives in Medieval Islamic, Jewish, and Christian Thought, Turnhout: Brepols, 2020, xiii + 422 pp.', History and Philosophy of Logic online.
2020
'Medieval Arabic notions of algorithm: some further raw evidence', in Fields of Logic and Computation III, Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday, ed. Andreas Blass, Patrick Cegielski, Nachum Dershowitz, Manfred Droste and Bernd Finkbeiner, Lecture Notes in Computer Science 12180, Springer, pp. 133-146
With Saloua Chatti: Al-Farabi, Syllogism: An Abridgement of Aristotle's Prior Analytics, introduction and translation, Ancient Commentators on Aristotle, Bloomsbury Academic, London.
2019
With Thérèse-Anne Druart: 'Al-Farabi’s Philosophy of Logic and Language', The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/win2019/entries/al-farabi-logic/ (Revised 2023)
With Manuela E. B. Giolfo: 'Conditionality: Syntax and meaning in al-Sirafi and Ibn Sina', in Manuela E. B. Giolfo and Kees Versteegh eds.,
The Foundations of Arabic Linguistics 4, Brill, Leiden 2019, pp. 157-181.
'Remarks on al-Fārābī’s missing modal logic and its effect on Ibn Sina', Eshare: An Iranian Journal of Philosophy 1 (3) (2019) 39-73.
'A biological metaphor for logical consequence', Ishraq 9 (2019) 54-79.
With Saharon Shelah: 'Naturality and definability II', CUBO A Mathematical Journal 21 (3) (2019) 9–27.
'A sixth century elementary introduction to logic', in Aventuras en el Mundo de la Lógica, Ensayos en Honor a María Manzano, ed. Enrique Alonso, Antonia Huertas, Andrei Moldovan, College Publications, London 2019, pp. 191-203.
2018
'Proofs as cognitive or computational: Ibn Sina's innovations', Philosophy and Technology 31 (1) (2018) 131-153.
'A short history of model theory', Appendix in Tim Button and Sean Walsh, Philosophy of Model Theory, Oxford University Press,
Oxford 2018, pp. 439-476.
'Two early Arabic applications of model-theoretic consequence', Logica Universalis 12 (1-2) (2018) 37-54.
'From choosing elements to choosing concepts: the evolution of Feferman’s work in model theory', in Feferman on Foundations,
ed. Gerhard Jaeger and Wilfried Sieg, Springer, Cham 2018, pp. 3-22.
With Manuela E. B. Giolfo: 'Syntax, semantics, and pragmatics in al-Sirafi and Ibn Sina', in Georgine Ayoub and Kees Versteegh eds.,
The Foundations of Arabic Linguistics 3, Brill, Leiden 2018, pp. 115-145.
'Andrzej Mostowski and the notion of a model', in Angel Garrido and Urszula Wybraniec-Skardowska eds., The Lwów-Warsaw School, Past and Present, Birkhauser, 2018, pp. 673-691.
2017
With Spencer Johnston: 'Medieval modalities and modern methods: Avicenna and Buridan', IfCoLog Journal of Logics and their Applications 4 (4) (2017) 1029-1073.
'Ibn Sina on reductio ad absurdum', Review of Symbolic Logic 10 (3) (2017) 583--601.
2016
'Remarks on compositionality', in Samson Abramsky, Juha Kontinen, Jouko Väänänen and Heribert Vollmer eds.,
Dependence Logic: Theory and Applications, Birkhäuser 2016, pp. 99-107.
With Ahmad Hasnawi, 'Arabic logic up to Avicenna', in The Cambridge Companion to Medieval Logic, ed. Catarina Dutilh Novaes and Stephen Read, Cambridge University Press, Cambridge 2016, pp. 45-66.
With Manuela E. B. Giolfo: 'The System of the Sciences of Language by Sakkaki: logic as a complement of rhetoric',
in Approaches to the History and Dialectology of Arabic, in Honour of Pierre Larcher,
ed. Manuel Sartori, Manuela E. B. Giolfo and Philippe Cassuto, Brill 2016, pp. 242-266.
2015
Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister eds., Logic and Philosophy of Science in Nancy (II): Selected contributed papers from the 14th International Congress of Logic, Methodology and Philosophy of Science, Éditions Kimé, Paris 2015.
'The move from one to two quantifiers', in The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume 1, ed. Arnold Koslow and Arthur Buchsbaum, Birkhäuser, Basel, pp. 221-240.
'Notes on the history of scope', in Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, ed. Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces, De Gruyter, Berlin 2015, pp. 215-240.
'A strongly differing opinion on proof-theoretic semantics?', in Advances in Proof-Theoretic Semantics, ed. Thomas Piecha and Peter Schroeder-Heister, Springer 2015, pp. 173-188.
2014
'Ibn Sina's view of the practice of logic', in Philosophy: Theory and Practice; Proceedings of the International Congress of The World Philosophy Day 2010, Tehran November 20-22, Volume III, ed. G. Aavani and S. Aawani, Iranian Institute of Philosophy, Tehran 2013, pp. 239-255.
'Dialogue protocols for formal fallacies: A reply to Kacprzak and Yaskorska', Argumentation28 (3) (2014) 371-377.
'DLMPS - Tarski's vision and ours', in Logic, Methodology and Philosophy of Science: Logic and Science Facing the New Technologies; Proceedings of the 14th International
Congress, Nancy 2011, ed. Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges and Pierre Edouard Bour, College Publications, London 2014, pp. 9-26.
Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister eds., Logic and Philosophy of Science in Nancy (I): Selected contributed papers from the 14th International Congress of Logic, Methodology and Philosophy of Science, Éditions Kimé, Paris 2014.
2013
'Ibn Sina, Frege and the grammar of meanings', Al-Mukhatabat5 (2013) 29-60.
Critical notice of 'Avicenna's Deliverance: Logic, trans. and notes by Asad Q. Ahmed', Journal of Shi'a Islamic Studies 6 (2) (2013) 224-231.
With Manuela E. B. Giolfo: 'Syntax and meaning in Sīrāfī and Ibn Sīnā', Romano-Arabica xiii (2013) 81-97.
'Modality in mathematics', Logique et Analyse 221 (2013) 5-23.
2012
'Formalizing the relationship between meaning and syntax', in The Oxford Handbook of Compositionality, ed. M. Werning, W. Hinzen and E. Machery, Oxford University Press, Oxford 2012, pp. 245-261.
'Requirements on a theory of sentence and word meanings', in Prospects for Meaning, ed. Richard Schantz, de Gruyter, New York 2012, pp. 583-608.
'Affirmative and negative in Ibn Sina', in Insolubles and Consequences: Essays in honour of Stephen Read, ed. Catarina Dutilh Novaes and Ole Thomassen Hjortland, College Publications, London 2012, pp. 119-134.
Uma Versão Mais Curta de Teoria dos Modelos, trans. Ruy J. G. B. de Queiroz, College Publications, London 2012. (Translation of A Shorter Model Theory 1997.)
2011
'Ibn Sina and conflict in logic', in Logic, Mathematics, Philosophy: Vintage Enthusiasms, Essays in Honour of John L. Bell, ed. David DeVidi, Michael Hallett and Peter Clark, Western Ontario Series in Philosophy of Science, Springer, Dordrecht 2011, pp. 35-67. [Contains translation of Ibn Sina's commentary on the final section of Aristotle, Peri Hermeneias.]
With Niki Pfeifer: Interview, The Reasoner 5 (2011) 178-183.
'Proof of Gaifman's conjecture for relatively categorical abelian groups', Analele Stiintifice ale Universitatii Ovidius, Seria Matematica 19 (2011) 101-130.
2010
With Ruy de Queiroz: Workshop on Logic, Language, Information and Computation, Journal of Computer and System Sciences 76 (5) 281-388; editors' foreword 281-282.
'How Boole broke through the top syntactic level', Proceedings of the History of Modern Algebra: 19th Century and Later Conference, ed. H. Charalambous et al., Aristotle University of Thessaloniki, Thessaloniki 2010, pp. 73-81.
'Ibn Sina on analysis: 1. Proof search. Or: Abstract State Machines as a tool for history of logic', in Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday, ed. A. Blass, N. Dershowitz and W. Reisig, Lecture Notes in Computer Science 6300, Springer, Heidelberg 2010, pp. 354-404. [Contains translation of Ibn Sina's algorithm for proof search in syllogisms.]
With Stephen Read: 'Western logic', Journal of the Indian Council of Philosophical Research 27 (2010) 13-45. Reprinted in Logic and Philosophy Today Volume I, ed. Amitabha Gupta and Johan van Benthem, College Publications, London 2011, pp. 11-43.
With Jouko Väänänen: 'Dependence of variables construed as an atomic formula', Annals of Pure and Applied Logic 161 (2010) 817-828.
'Set theory, model theory, and computability theory', in The Development of
Modern Logic, ed. Leila Haaparanta, Oxford University Press, Oxford 2009, pp. 471-498.
'Traditional logic, modern logic and natural language', Journal of Philosophical Logic 38 (2009) 589-606, DOI 10.1007/s10992-009-9113-y.
Editor (with Ruy de Queiroz), Logic, Language, Information and Computation;
15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 2008, Proceedings, Lecture Notes in Artificial Intelligence 5110, FoLLI Publications on Logic, Language and Information, Springer, Berlin 2008.
Building Models by Games, Dover Publications, Mineola, New York 2006,
318pp. (reprint of the 1985 edition with errata and addenda); ISBN 0-486-45017-1.
'Two doors to open', in Mathematical Problems from Applied Logic I: New
Logics for the 21st century, ed. Dov Gabbay et al., Springer, New York 2006, pp.
277-316; ISBN 0-387-28688-8.
'The logic of quantifiers', in The Philosophy of Jaakko Hintikka, Schilpp
Library of Living Philosophers vol. xxx, ed. Randall E. Auxier and Lewis Edwin Hahn,
Open Court, Chicago, pp. 521-534,
2005
'A context principle', in Intensionality, ed. Reinhard Kahle, Association for
Symbolic Logic and A. K. Peters, Wellesley Mass. 2005, pp. 42-59; ISBN 1-56881-267-1.
'Detecting the
logical content: Burley's "Purity of Logic"', in We Will Show Them! Essays in Honour of Dov Gabbay on his 60th Birthday, II, ed. Sergei Artemov et al., College Publications, King's College London 2005, pp. 69-11; ISBN 1-904987-12-5. [This paper
promises an appendix with a reference list of
consequentiae from Burley's book. That list is here.]
Entry 'G. T. Kneebone', in Dictionary of British Twentieth-Century
Philosophers, ed. Stephen Brown, Thoemmes, Bristol 2005; ISBN 1-84371-096-
X.
Articles 'First-order logic', Model theory', 'Decidable and undecidable theories',
'Alfred Tarski', 'Abraham Robinson', for Encyclopedia of Philosophy (second
edition) ed. Donald M. Borchert, Macmillan Reference.
'Formally correct definitions', in Logica Yearbook 2004, ed. Libor
Behounek, Filosofia, Prague 2004, pp. 35-43.
'The importance and neglect of conceptual analysis, Hilbert-Ackermann iii.3', in
First-Order Logic Revisited, ed. Hendricks et al., Logos Verlag, Berlin 2004, pp.
129-153.
'What is logic?', in Proceedings of the Fifth Tbilisi Symposium on Language,
Logic and Computation, October 6-10, 2003, ed. Rusudan Asatiani et al., ILLC,
University of Amsterdam 2004, pp. 3-10.
'What languages have Tarski truth definitions?', Annals of Pure and Applied
Logic 126 (2004) 93-113.
2003
'International copyright and mathematics', in Electronic Information and
Communication in Mathematics, ICM 2002 International Satellite Conference,
Beijing, Fengshan Bai and Bernd Wegner eds., Lecture Notes in Computer Science 2730,
Springer, Berlin 2003, pp. 72-86.
'The unexpected usefulness of model theory in semantics', in
Sémantique et Epistémologie, ed. Ali Benmakhlouf, Editions Le
Fennec, Casablanca 2003, pp. 237-254.
2002
'Model theory', 'First-order Model Theory' and 'Tarski's Truth Definition',
Stanford Internet Encyclopedia of Philosophy, http://plato.stanford.edu
'Classical Logic I: First-Order Logic', in Guide to Philosophical Logic, ed.
Louis Goble, Blackwell, Malden Mass. 2001.
With Peter Cameron: 'Combinatorics of imperfect information', Journal of
Symbolic Logic 66 (2001) 673-684.
'Dialogue foundations: A sceptical look', Proceedings of the
Aristotelian
Society, Supplementary Volume 75 (2001)
17-32. [Debate with Erik Krabbe]
'Formal features of compositionality', Journal of Logic, Language and
Information 10 (2001) 7-28.
Logic (2nd edition), Penguin Books, London 2001.
'Logic and games' (2001), Stanford Internet Encyclopedia of Philosophy,
http://plato.stanford.edu
'What do you want from your publisher?' [Annotated checklist on copyright, for
Committee on Electronic Information and Communication, International Mathematical
Union, December 1999; endorsed by Executive Committee of IMU May 2001.]
Internationale Mathematische Nachrichten 188 (2001) 21-30; Notices of
American Mathematical Society 48 no. 10 (2001) 1176-1182.
1999
'A formality' (CD Festschrift for 50th birthday of Johan van Benthem), Vossiuspers AUP, www.aup.nl, 1999.
'Relative categoricity in abelian groups', in Models and Computability, ed. S. B. Cooper and J. K. Truss, Cambridge University Press 1999, pp. 157-168.
1998
'An editor recalls some hopeless papers', Bulletin of Symbolic Logic 4 (1998)
1-16.
G. White, J. Bell and W. Hodges, 'Building models of prediction theories', Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning, ed. A. Cohn, L. Schubert and S. Shapiro, Morgan Kaufmann, San Francisco 1998, pp. 557-568.
'Compositionality is not the problem', Logic and Logical Philosophy 6 (1998)
7-33.
'Model theory', 6000 word entry in Routledge Encyclopedia of Philosophy,
ed. Edward Craig, Routledge, London 1998, pp. 436-442.
With André Nies: 'Noninterpretability of infinite linear orders', in Logic
Colloquium '95, ed. Johann A Makowsky and Elena V. Ravve, Lecture Notes in
Logic 11, Springer, Berlin 1998, pp. 73-78.
'The laws of distribution for syllogisms', Notre Dame Journal of Formal
Logic 39 (1998) 221-230.
'Turing's philosophical error?', in Concepts for Neural Networks, ed. L.
J.
Landau and J. G. Taylor, Springer, Berlin 1998, pp. 147-169.
1997
A Shorter Model Theory, Cambridge University Press, Cambridge 1997.
'Compositional semantics for a language of imperfect information', Logic Journal
of the Interest Group in Propositional and Predicate Logic 5 (1997) 539-563.
'Groups in pseudofinite fields', in Model Theory of Groups and Automorphism
Groups, ed. David Evans, Cambridge University Press 1997, pp. 90-109.
'Some strange quantifiers', in Structures in Logic and Computer Science, ed.
Jan Mycielski et al., Lecture Notes in Computer Science 1261, Springer, Berlin 1997, pp.
51-65.
1996
Editor (with M. Hyland, C. Steinhorn and J. Truss), Logic from Foundations to
Applications, European Logic Colloquium, Clarendon Press, Oxford 1996.
'Model theory: major developments since 1960', 1000 word entry in Encyclopedia
of Philosophy Supplement, Macmillan 1996, pp. 352-353.
'Truth and moral judgements', in Essays for David Wiggins: Identity, Truth and
Value, ed. Sabina Lovibond and S. G. Williams, Blackwell, Oxford 1996, pp. 147-
164.
1995
Critical commentary on P. Johnson-Laird and R. Byrne, Deduction,
Behavioral and Brain Sciences 16 (1993) 353f.
'Modern logic' and eleven other entries, Oxford Companion to Philosophy,
ed. Ted Honderich, Oxford University Press 1995; two further entries in 2nd edition
2005.
'The meaning of specifications, I: Initial models', Theoretical Computer
Science 152 (1995) 67-89.
1994
With Anand Pillay: 'Cohomology of structures and some problems of Ahlbrandt and
Ziegler', Journal of London Mathematical Society 50 (1994) 1- 16.
'The structure of totally categorical structures', in Automorphisms of First Order
Structures, ed. Richard Kaye and Dugald Macpherson, Oxford University Press
1994, pp. 111-130.
1993
'Defining fields in incidence structures: some introductory remarks', Introduction to
E. D. Rabinovich, Definability of a field in sufficiently rich incidence systems,
QMW Maths Notes 14, QMW, London 1993, pp. vii- xvi.
'Existentially closed groups and determinacy', Journal of Algebra 157 (1993)
461-471.
'Logical features of Horn clauses', in Handbook of Logic in Artificial Intelligence
and Logic Programming, Vol. 1, Logical Foundations, ed. Dov M. Gabbay, C.J. Hogger
& J.A. Robinson, Clarendon Press, Oxford 1993, pp. 449- 503.
Model theory, Cambridge University Press, Cambridge 1993, 772pp.
'The meaning of specifications, II: Set-theoretic specifications', in Semantics of
Programming Languages and Model Theory, ed. M. Droste and Y. Gurevich, Gordon
& Breach, New York 1993, pp. 43-68.
With Ian Hodkinson, Daniel Lascar and Saharon Shelah: 'The small index property
for ω-stable ω-categorical structures and for the random graph', Journal of
London Mathematical Society 48 (1993) 204-218.
1992
'Definitions and Prolog', in Machinations, ed. R. Spencer-Smith & S.
Torrance, Ablex Pub. Corp., Norwood NJ 1992, pp. 31-53.
'Horn clause logic 1992', 4th UK Conference on Logic Programming, London
1992, ed. Krysia Broda, Springer, London 1992, pp. 201- 217.
1991
With David Evans and Ian Hodkinson: 'Automorphisms of bounded abelian groups',
Forum Mathematicum 3 (1991) 523-541.
'The denotational semantics of specification languages', in Proceedings of Ninth
Easter Conference on Model Theory, Gosen 1991, Fachb. Math. Humboldt-Univ.
Berlin 1991, pp. 57-66.
With Saharon Shelah: 'There are reasonably nice logics', Journal of Symbolic
Logic 56 (1991) 300-322.
1990
With I. M. Hodkinson and H. D. Macpherson: 'Omega-categoricity, relative
categoricity and coordinatisation', Annals of Pure and Applied Logic 46 (1990)
169-199.
1989
'Categoricity and permutation groups', Logic Colloquium '87, ed. H.-D.
Ebbinghaus et al., Elsevier Science Publishers BV 1989, pp. 53-72.
1988
With John Doner: 'Alfred Tarski and decidable theories', Journal of Symbolic
Logic 53 (1988) 20-35.
'Extending Beth's theorem', Proceedings of 6th East German Model Theory
Conference, Wendisch-Rietz 1988, ed. B. Dahn & H. Wolter,
Humboldt-Universität 1988, pp. 57-64.
'The present aims of model theory', Jahrbuch der Kurt-Gödel-Gesellschaft (1988) 4-23.
1987
'What is a structure theory?', Bulletin of London Mathematical Society 19
(1987) 209-237.
1986
Logica: una guida alla logica simbolica pensata e scritta veramente per tutti,
Garzanti, Milano 1986, 380pp. [Translation of Logic (1976) by G. Usberti, with
new chapter added by author.]
With Saharon Shelah: 'Naturality and definability I', Journal of London
Mathematical Society. 33 (1986) 1-12.
1985
Building Models by Games, London Math. Soc. Student Texts no. 2,
Cambridge University Press 1985, 311pp.
'Truth in a structure', Proceedings of Aristotelian Society 86 (1985/6) 135-
151.
1984
'Constructing many non-isomorphic models', in Proceedings of the Second Easter Conference on Model Theory, Sektion Mathematik der Humboldt-Universität zu Berlin (1984) 73-75.
'Finite extensions of finite groups', in Models and Sets, ed. G. H. Müller and M. M. Richter, Lecture Notes in Math. 1103, Springer-Verlag, Berlin 1984, pp. 193-206.
'Groupes nilpotents existentiellement clos de classe fixée', in Mémoire 16, Société Math. de France 1984, pp. 1- 10.
'Models built on linear orderings', Annals of Discrete Mathematics 23 (1984)
207-234.
'On constructing many non-isomorphic algebras', in Universal Algebra and its
links with logic, algebra, combinatorics and computer science, ed. P. Burmeister et
al., Heldermann Verlag, Berlin 1984, pp. 67- 77.
1983
'Elementary predicate logic', chapter in Handbook of Philosophical Logic,
vol. I, ed. D. Gabbay and F. Guenthner, Reidel, Dordrecht 1983, pp. 1-131. Revised
second edition, Kluwer, Dordrecht 2001, pp. 1-129.
1982
With John T. Baldwin, Joel Berman and A. M. W. Glass: 'A combinatorial fact about free algebras', Algebra Universalis 15 (1982) 145-152.
With John Derrick: 'Diplomatic conversations', Nature 296 4 (March 1982) 7.
[Record of interview with Polish diplomats on situation of Polish logicians under martial
rule]
1981
'Encoding orders and trees in binary relations', Mathematika 28 (1981) 67-
81.
With Saharon Shelah: 'Infinite games and reduced products', Annals of
Mathematical Logic 20 (1981) 77-108.
'Modern logic', 1500 word entry in Dictionary of the History of Science, ed.
W. Bynum, E. J. Browne and R. Porter, Macmillan, London 1981, pp. 274-276.
1980
'Constructing pure injective hulls', Journal of Symbolic Logic 45 (1980) 544-
548.
'Interpreting number theory in nilpotent groups', Archiv Mathematische Logik
Grundlagenforschung 20 (1980) 103-111.
With Bruce Watson: translation of K. Gödel, 'Über eine bisher noch nicht
benützte Erweiterung des finiten Standpunktes', Dialectica 1958; with bibliographical notes by Roger Hindley; Journal of Philosophical Logic 9 (1980) 133-142.
1978
'Krull implies Zorn', Journal of London Mathematical Society 19 (1979) 285-
287.
1977
Logic, Penguin Books, London 1977, 331pp.
With Geoffrey Kneebone: 'Logic and Foundations', chapter in Use of
Mathematical Literature, ed. A. Dorling, Butterworth, London 1977, pp. 78-95.
With A. H. Lachlan and Saharon Shelah: 'Possible orderings of an indiscernible
sequence', Bulletin of London Mathematical Society 9 (1977) 212-215.
1976
'Läuchli's algebraic closure of Q', Mathematical Proceedings of Cambridge
Philosophical Society 79 (1976) 289-297.
'On the effectivity of some field constructions', Proceedings of London
Mathematical Society 32 (1976) 133- 162.
1975
'A normal form for algebraic constructions II', Logique et Analyse (1975)
429-487; reprinted in Six days of model theory, ed. Paul Henrard, Castella,
Albeuve 1977.
1974
'A normal form for algebraic constructions', Bulletin of London Mathematical
Society 6 (1974) 57-60.
'Six impossible rings', Journal of Algebra 31 (1974) 218-244.
1973
'Models in which all long indiscernible sequences are indiscernible sets',
Fundamenta Mathematicae 78 (1973) 1-6.
1972
Editor, Conference in mathematical logic - London '70, Lecture Notes in Mathematics, Springer-Verlag, Berlin 1972, 351pp.
'On order-types of models', Journal of Symbolic Logic 37 (1972) 69f.
1968
With David Lewis: 'Finitude and infinitude in the atomic calculus of individuals', Noûs 2 (1968) 405-410. Reprinted in David Lewis, Papers in Philosophical Logic, Cambridge University Press 1998, pp. 180-185, and in Philosophy of Nelson Goodman, vol. 1, ed. Catherine Elgin, Garland Publishing 2000.
Author: Wilfrid Hodges
Last updated 13 December 2024.