Benedikt Löwe

Home

Research

Teaching

Service

• Academic Papers
  1. Benedikt Löwe, Uniform Unfolding and Analytic Measurability, Archive for Mathematical Logic 37 (1998), pp. 505-520
  2. Jörg Brendle, Benedikt Löwe, Solovay-type characterizations for forcing-algebras, Journal of Symbolic Logic 64 (1999), pp. 1307-1323
  3. Benedikt Löwe, John R. Steel, An Introduction to Core Model Theory, in: S.Barry Cooper, John K.Truss (eds.), Sets and Proofs, Invited Papers from the Logic Colloquium 97, University of Leeds, England, July 6 - 13, 1997, Cambridge 1999 [London Mathematical Society Lecture Note Series 258], pp. 103-157
  4. Moti Gitik, Benedikt Löwe, Cofinalities of Linear Orders, Order 16 (1999), pp. 105-111
  5. Benedikt Löwe, Revision sequences and computers with an infinite amount of time, Journal of Logic and Computation 11 (2001), pp. 25-40; also in: Heinrich Wansing (ed.), Essays on Non-Classical Logic, Singapore 2001 [Advances in Logic 1], pp. 37-59
  6. Lorenz Halbeisen, Benedikt Löwe, Ultrafilter Spaces on the Semilattice of Partitions, Topology and its Applications 115 (2001), pp. 317-332
  7. Benedikt Löwe, Philip D. Welch, Set-Theoretic Absoluteness and the Revision Theory of Truth, Studia Logica 68 (2001), pp. 21-41
  8. Lorenz Halbeisen, Benedikt Löwe, Techniques for Approaching the dual Ramsey property in the projective hierarchy, Pacific Journal of Mathematics 200 (2001), pp. 119-145
  9. Benedikt Löwe, A first glance at non-restrictiveness, Philosophia Mathematica (III) 9 (2001), pp. 347-354
  10. Benedikt Löwe, Turing Cones and Set Theory of the Reals, Archive for Mathematical Logic 40 (2001), pp. 651-664
  11. Benedikt Löwe, Kleinberg Sequences and Partition Cardinals below delta¹₅, Fundamenta Mathematicae 171 (2002), pp. 69-76
  12. Benedikt Löwe, Philipp Rohde, Games of length omega times two, Proceedings of the American Mathematical Society 130 (2002), pp. 1247-1248
  13. Benedikt Löwe, Playing with mixed strategies on infinite sets, International Journal of Game Theory 31 (2002), pp. 137-150
  14. Benedikt Löwe, The Formal Sciences: Their Scope, their Foundations, and their Unity, Synthese 133 (2002), pp. 5-11
  15. Benedikt Löwe, Consequences of Blackwell Determinacy, Bulletin of the Irish Mathematical Society 49 (2002), pp. 43-69
  16. Benedikt Löwe, A second glance at non-restrictiveness, Philosophia Mathematica (III) 11 (2003), pp. 323-331
  17. Benedikt Löwe, The Simulation Technique and its Consequences for Infinitary Combinatorics under the Axiom of Blackwell Determinacy, Pacific Journal of Mathematics 214 (2004), pp. 335-358
  18. Benedikt Löwe, Complexity hierarchies derived from reduction functions, in: Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.), Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III" held in Vienna, September 21-24, 2001, Kluwer Academic Publishers, Dordrecht 2004 [Trends in Logic, Volume 23], pp. 1-14
  19. Jörg Brendle, Lorenz Halbeisen, Benedikt Löwe, Silver measurability and its relation to other regularity properties, Mathematical Proceedings of the Cambridge Philosophical Society 138 (2005), pp. 135-149
  20. Benedikt Löwe, Darko Sarenac, Cardinal spaces and topological representations of bimodal logics, Logic Journal of the IGPL 13 (2005), pp. 301-306
  21. Benedikt Löwe, The Length of the Full Hierarchy of Norms, Rendiconti del Seminario Matematico dell'Università e del Politecnico di Torino 63 (2005), pp. 161-168
  22. Benedikt Löwe, The pointwise view of Determinacy: Arboreal forcings, measurability, and weak measurability, Rocky Mountain Journal of Mathematics 35 (2005), pp. 1233-1249
  23. Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch, Comparing inductive and circular definitions: parameters, complexities and games, Studia Logica 81 (2005), pp. 79-98
  24. Benedikt Löwe, A global wellordering of norms defined via Blackwell games, Order 22 (2005), pp. 85-92
  25. Benedikt Löwe, Set Theory of Infinite Imperfect Information Games, in: Alessandro Andretta (ed.), Set Theory: Recent Trends and Applications, Napoli 2005 [Quaderni di Matematica 17], pp. 137-181
  26. Benedikt Löwe, A parametrised choice principle and Martin's conjecture on Blackwell determinacy, Mathematical Logic Quarterly 52 (2006), pp. 187-189
  27. Benedikt Löwe, Set Theory with and without urelements and categories of interpretations, Notre Dame Journal of Formal Logic 47 (2006), pp. 83-91
  28. Benedikt Löwe, Space bounds for infinitary computation, in: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.), Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings, Springer-Verlag, Berlin [Lecture Notes in Computer Science 3988], pp. 319-329
  29. Benedikt Löwe, Revision Forever!, in: Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm (eds.), Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings Springer-Verlag, Berlin, 2006 [Lecture Notes in Artificial Intelligence 4068], pp. 22-36
  30. Stefan Bold, Benedikt Löwe, A Simple Inductive Measure Analysis for Cardinals under the Axiom of Determinacy, in: Su Gao, Steve Jackson, Yi Zhang (eds.), Advances in Logic, The North Texas Logic Conference, October 8-10, 2004, Providence RI 2007 [Contemporary Mathematics 425], pp. 23-41
  31. Benedikt Löwe, Brian T. Semmes, The extent of constructive labellings, Journal of Logic and Computation 17 (2007), pp. 285-293
  32. Andreas R. Blass, Ioanna M. Dimitriou, Benedikt Löwe, Inaccessible Cardinals without the Axiom of Choice, Fundamenta Mathematicae 194 (2007), pp. 179-189
  33. Sujata Ghosh, Benedikt Löwe, Erik Scorelle, Belief Flow in Assertion Networks, in: Simon Polovina, Richard Hill, Uta Priss (eds.), Conceptual Structures: Knowledge Architecture for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Springer-Verlag, Berlin, 2007 [Lecture Notes in Artificial Intelligence 4604], pp. 401-414
  34. Benedikt Löwe, Visualization of ordinals, in: Thomas Müller, Albert Newen (eds.), Logik, Begriffe, Prinzipien des Handelns, Mentis Verlag, Paderborn, 2007, pp. 64-80
  35. Tikitu de Jager, Benedikt Löwe, Nonmonotone game labellings, in: Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem (eds.), Foundations of the Formal Sciences V, Infinite Games, College Publications, London, 2007 [Studies in Logic 11], pp. 79-99
  36. Joel D. Hamkins, Benedikt Löwe, The Modal Logic of Forcing, Transactions of the American Mathematical Society 360 (2008), pp. 1793-1817
  37. Benedikt Löwe, Thomas Müller, Mathematical knowledge is context-dependent, Grazer Philosophische Studien 76 (2008), pp. 91-107
  38. Bernd Buldt, Benedikt Löwe, Thomas Müller, Towards a new epistemology of mathematics, Erkenntnis 68 (2008), pp. 309-329
  39. Benedikt Löwe, Eric Pacuit, An abstract approach to reasoning about games with mistaken and changing beliefs, Australasian Journal of Logic 6 (2008), pp. 162-181
  40. Sujata Ghosh, Benedikt Löwe, Sanchit Saraf, Pointer Semantics with Forward Propagation, in: Ben Goertzel, Pascal Hitzler, Marcus Hutter (eds.), Artificial General Intelligence, Proceedings of the Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009, Atlantis Press, Amsterdam 2009 [Advances in Intelligent Systems Research 8], pp. 37-42
  41. Benedikt Löwe, Eric Pacuit, Sanchit Saraf, Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation^TM, in: Michael Duvigneau, Daniel Moldt (eds.), Proceedings of the Fifth International Workshop on Modelling of Objects, Components and Agents, MOCA'09, Hamburg 2009 [FBI-HH-B-290/09], pp. 45-63
  42. Christian Geist, Benedikt Löwe, Bart Van Kerkhove, Peer review and knowledge by testimony in mathematics, in: Benedikt Löwe, Thomas Müller, PhiMSAMP, Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, London 2010 [Texts in Philosophy 11], pp. 155-178
  43. Benedikt Löwe, Thomas Müller, Skills and mathematical knowledge, in: Benedikt Löwe, Thomas Müller, PhiMSAMP, Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, London 2010 [Texts in Philosophy 11], pp. 265-280
  44. Benedikt Löwe, Thomas Müller, Eva Müller-Hill, Mathematical knowledge: a case study in empirical philosophy of mathematics, in: Bart Van Kerkhove, Jonas De Vuyst, Jean Paul Van Bendegem (eds.), Philosophical Perspectives on Mathematical Practice, London 2010 [Texts in Philosophy 12]
  45. Benedikt Löwe, Comparing Formal Frameworks of Narrative Structures, in: Mark Finlayson (ed.), Computational Models of Narrative. Papers from the 2010 AAAI Fall Symposium, Menlo Park 2010 [AAAI Technical Report FS-10-04], pp. 45-46
  46. Jörg Brendle, Benedikt Löwe, Eventually different functions and inaccessible cardinals, Journal of the Mathematical Society of Japan 63 (2011), pp. 137-151
  47. Cédric Dégremont, Benedikt Löwe, Andreas Witzel, The synchronicity of dynamic epistemic logic, in: Krzysztof R. Apt (ed.), TARK XIII, Thirteenth conference on Theoretical Aspects of Rationality and Knowledge, Groningen, Netherlands July 12-14, 2011, New York 2011, pp. 145-152
  48. Benedikt Löwe, Thomas Müller, Data and Phenomena in Conceptual Modelling, Synthese 182 (2011), pp. 131-148
  49. Rens Bod, Benedikt Löwe, Sanchit Saraf, How much do narrative annotations differ? A Proppian case study, in: Charles Ess, Ruth Hagengruber (eds.), The Computational Turn: Past, Presents, Futures?, Aarhus University, July 4-6, 2011, MV-Wissenschaft 2011, pp. 242-245
  50. Benedikt Löwe, Eric Pacuit, Andreas Witzel, DEL planning and some tractable cases, in: Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.), LORI 2011, Heidelberg 2011, pp. 179-192 [Lecture Notes in Artificial Intelligence 6953]
  51. Benedikt Löwe, Methodological remarks about comparing formal frameworks for narratives, in: Patrick Allo, Giuseppe Primiero (eds.), Third Workshop in the Philosophy of Information, Contactforum van de Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten, Brussel 2011, pp. 10-28
  52. Leo Esakia, Benedikt Löwe, Fatal Heyting algebras and forcing persistent sentences, Studia Logica 100 (2012), pp. 163-173
  53. Rens Bod, Bernhard Fisseni, Aadil Kurji, Benedikt Löwe, Objectivity and reproducibility of Proppian annotations, in: Mark A. Finlayson (ed.), The Third Workshop on Computational Models of Narrative, Cambridge MA 2012, pp. 17-21
  54. Bernhard Fisseni, Benedikt Löwe, Which dimensions of narrative are relevant for human judgments of story equivalence?, in: Mark A. Finlayson (ed.), The Third Workshop on Computational Models of Narrative, Cambridge MA 2012, pp. 114-118
  55. Daisuke Ikegami, David de Kloet, Benedikt Löwe, The Axiom of Real Blackwell Determinacy, Archive for Mathematical Logic 51 (2012), pp. 671-685
  56. Joel D. Hamkins, Benedikt Löwe, Moving up and down in the generic multiverse, in: Kamal Lodaya (ed.), Logic and Its Applications, 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings, Springer-Verlag, Berlin 2013 [Lecture Notes in Computer Science 7750], pp. 139-147
  57. Arthur Apter, Steve Jackson, Benedikt Löwe, Cofinality and measurability of the first three uncountable cardinals, Transactions of the American Mathematical Society 365 (2013), pp. 59-98.
  58. Steve Jackson, Benedikt Löwe, Canonical measure assignments, Journal for Symbolic Logic 78 (2013), pp. 403-424
  59. Bernhard Fisseni, Benedikt Löwe, Event mappings for comparing formal frameworks of narratives, Logique et Analyse 57 (2014), pp. 181-222
  60. Bernhard Fisseni, Aadil Kurji, Benedikt Löwe, Annotating with Propp's Morphology of the Folktale: Reproducibility and Trainability, Literary and Linguistic Computing 29 (2014), pp. 488-510
  61. Benedikt Löwe, Mathematics and the new technologies. Part I: Philosophical relevance of a changing culture of mathematics, in: Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges, Pierre Edouard Bour (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the 14th International Congress (Nancy), Logic and Science Facing the New Technologies, College Publications, London 2014, pp. 399-407 (cf. also Part II by Peter Koepke and Part III by Jean Paul Van Bendegem).
  62. Benedikt Löwe, Sourav Tarafder, Generalized algebra-valued models of set theory, Review of Symbolic Logic 8 (2015), pp. 192-205
  63. Joel D. Hamkins, George Leibman, Benedikt Löwe, Structural connections between a forcing class and its modal logic, Israel Journal of Mathematics 207 (2015), pp. 607-651
  64. Tanmay Inamdar, Benedikt Löwe, The Modal Logic of Inner Models, Journal of Symbolic Logic 81:1 (2016), pp. 225-236
  65. Luca Incurvati, Benedikt Löwe, Restrictiveness relative to notions of interpretation, Review of Symbolic Logic 9:2 (2016), pp. 238-250
  66. Benedikt Löwe, Philosophy or not? The study of cultures and practices of mathematics, in: Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie (eds.) Cultures of Mathematics and Logic, Selected papers from the conference in Guangzhou, China, 9-12 November 2012, Birkhäuser, Basel 2016 [Trends in the History of Science], pp. 23-42
  67. Yurii Khomskii, Giorgio Laguzzi, Benedikt Löwe, Ilya Sharankou, Questions on Generalised Baire Spaces, Mathematical Logic Quarterly 62:4-5 (2016), pp. 439-456
  68. Merlin Carl, Benedikt Löwe, Benjamin G. Rin, Koepke machines and satisfiability for infinitary propositional languages, in: Jarkko Kari, Florin Manea, Ion Petre (eds.), Unveiling Dynamics and Complexity, 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, Springer 2017 [Lecture Notes in Computer Science 10307], pp. 187-197
  69. Andrew D. Brooke-Taylor, Benedikt Löwe, Birgit Richter, Inhabitants of interesting subsets of the Bousfield lattice, Journal of Pure and Applied Algebra 222:8 (2018), pp. 2292-2298
  70. Alexander C. Block, Benedikt Löwe, A multiplication operation for the hierarchy of norms, Annals of Pure and Applied Logic 169:7 (2018), pp. 656-673
  71. Merlin Carl, Lorenzo Galeotti, Benedikt Löwe, The Bolzano-Weierstraß theorem in generalised analysis, Houston Journal of Mathematics 44:4 (2018), pp. 1081–1109
  72. Benedikt Löwe, Bart Van Kerkhove, Methodological triangulation in empirical philosophy (of mathematics), in: Andrew Aberdein, Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics, Bloomsbury 2019 [Bloomsbury's Advances in Experimental Philosophy], pp. 15–37
  73. Lorenzo Galeotti, Aymane Hanafi, Benedikt Löwe, Relations between notions of gaplessness for non-Archimedean fields, Houston Journal of Mathematics 46:4 (2020), 1017–1031
  74. Andrés Eduardo Caicedo, Benedikt Löwe, The Fourteen Victoria Delfino Problems and their Status in the Year 2020, in: Alexander S. Kechris, Benedikt Löwe, John R. Steel (eds.), Large Cardinals, Determinacy and other topics, The Cabal Seminar, Volume IV, Cambridge University Press 2021 [Lecture Notes in Logic 49], pp. 248–279
  75. Benedikt Löwe, Robert Passmann, Sourav Tarafder, Constructing illoyal algebra-valued models of set theory, Algebra Universalis 82 (2021), Article number: 46
  76. Lorenzo Galeotti, Benedikt Löwe, Order types of models of fragments of Peano Arithmetic, Bulletin of Symbolic Logic 28:2 (2022), pp. 182–206
  77. Benedikt Löwe, Die Mitgliederentwicklung in der Frühzeit der DVMLG, in: Benedikt Löwe, Deniz Sarikaya (eds.), 60 Jahre DVMLG, London 2022 [Tributes 48], pp. 171–185
  78. Benedikt Löwe, Grundlagenforschung der exakten Wissenschaften: die DVMLG und die Philosophie, in: Benedikt Löwe, Deniz Sarikaya (eds.), 60 Jahre DVMLG, London 2022 [Tributes 48], pp. 187–202
  79. Benedikt Löwe, Deniz Sarikaya, Satzungen der DVMLG durch die Jahrzehnte, in: Benedikt Löwe, Deniz Sarikaya (eds.), 60 Jahre DVMLG, London 2022 [Tributes 48], pp. 203–224
  80. Benedikt Löwe, Measuring the agreement of mathematical peer reviewers, Axiomathes 32:3 (2022), 1205–1219
• Accepted for Publication
  1. Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe, Symmetry for transfinite computability, accepted for publication at CiE 2023
  2. Sören Berger, Alexander C. Block, Benedikt Löwe, The modal logic of abelian groups, accepted for publication in Algebra Universalis
• Submitted for Publication:
  1. Benedikt Löwe, Deniz Sarikaya, Die ersten hundert Jahre Mathematik an der Hamburger Universität, submitted
  2. Funmilola Balogun, Benedikt Löwe, Independence results for finite set theories in locally finite graphs, submitted
• Preprints / In Preparation:
  1. Deborah Kant, Benedikt Löwe, A triptych on philosophical aspects of empirical studies of mathematical research practice, in preparation
  2. Alexander C. Block, Joel D. Hamkins, Benedikt Löwe, Jacob Piribauer, Spectra of multiverses, in preparation
  3. Raiean Banerjee, Benedikt Löwe, Lucas Wansner, Regularity properties for forcings not living on the reals, in preparation
  4. Alexander C. Block, Luca Incurvati, Benedikt Löwe, Symmetrizing Maddy's notion of restrictiveness, in preparation
  5. Arthur W. Apter, Andreas Blass, Steve Jackson, Benedikt Löwe, Destruction and Preservation of Infinite Exponent Partition Relations and their Weaker Consequences, in preparation
  6. Benedikt Löwe, What is ... an amoeba (2)?, preprint
• Other papers
  1. Benedikt Löwe, J.R.R Tolkiens Túrin Turambar und die Outlaws der mittelalterlichen Volksdichtung - Ein literarischer Vergleich, Jahrbuch für Literatur und Ästhetik 15 (1997), p. 37-47 (Thumbnail Gallery of JPEG Files)
  2. Benedikt Löwe, Parsimonia Ontologiae und die generalisierende Tendenz der Mathematik, Ethik und Sozialwissenschaften 9 (1998), p.462-464
  3. Benedikt Löwe, Dualizing the Stone-Cech compactification, in: Phokion Kolaitis, George Koletsos (eds.), 2nd Panhellenic Logic Symposium, Proceedings, Delphi, 13-17 July, 1999, Delphi, 1999, p. 150-154
  4. Benedikt Löwe, Limitativität als Kriterium bei der Frage nach erweiterten Axiomensystem für die Mathematik, in: Wolfram Hogrebe (ed.), Grenzen und Grenzüberschreitungen, XIX. Deutscher Kongreß für Philosophie, 23.-27.September 2002 in Bonn, Sektionsbeiträge, Bonn 2002, p. 715-722
  5. Benedikt Löwe, Notes on pure variations of axioms of Blackwell determinacy, ILLC Publications X-2004-01
  6. Benedikt Löwe, Brian T. Semmes, The extent of constructive game labellings, in: Costas Dimitracopoulos (ed.), Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, Dedicated to Yiannis N. Moschovakis upon his retirement from the University of Athens, Athens 2005, p. 93-98 (ILLC Publications X-2005-02)
  7. Benedikt Löwe, Extensions of the Axiom of Blackwell Determinacy, ILLC Publication Series PP-2005-24
  8. Vincent Kieftenbeld, Benedikt Löwe, Topology and Ordinals, ILLC Publications PP-2006-57
  9. Benedikt Löwe, Logic and the Simulation of Interaction and Reasoning: Introductory Remarks, in: Frank Guerin, Benedikt Löwe, Wamberto Vasconcelos (eds.), AISB 2008 Convention, Communication, Interaction and Social Intelligence, 1st-4th April 2008, University of Aberdeen, Volume 9: Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, Aberdeen 2008, p. iii-v
  10. Bernhard Fisseni, Benedikt Löwe, What Makes Stories Similar? Report on a Research Project, 2011-2014, in: Mark A. Finlayson, Jan Christoph Meister, Emile G. Bruneau (eds.), 5th Workshop on Computational Models of Narrative (CMN'14) [OpenAccess Series in Informatics 41], Saarbrücken 2014, pp. 9-12
  11. Alexander C. Block, Benedikt Löwe, Modal Logics and Multiverses, RIMS Kokyuroku No. 1949 (2015), p. 5-23
  12. Benedikt Löwe, Die ersten beiden Hamburger DMV-Jahresversammlungen 1901 und 1928, in: Benedikt Löwe, Hendrik Niehaus (eds.), Jahrestagung der Deutschen Mathematiker-Vereinigung, Freie und Hansestadt Hamburg, 21. bis 25. September 2015, Hamburg 2015, S. 39-50 & 59-62
  13. Benedikt Löwe, Barry Cooper (1943–2015): The engine of Computability in Europe, Computability 5:1 (2016), p. 3-11
  14. Benedikt Löwe, Die DMV/DVMLG-Fachgruppe Mathematische Logik, Mitteilungen der Deutschen Mathematiker-Vereinigung 24:1 (2016), pp. 8-9
  15. Übersetzung ins Deutsche von: Ian Jones, Chris Wheadon, Sara Humphries, Matthew Inglis, Wie vergleicht man den Anspruch mathematischer Prüfungen? Die A levels in England, Wales und Nordirland, Mitteilungen der Deutschen Mathematiker-Vereinigung 24:2 (2016), pp. 100-103
  16. Benedikt Löwe, Die Hamburger DMV-Jahresversammlungen 1901 und 1928, Mitteilungen der Deutschen Mathematiker-Vereinigung 24:3 (2016), pp. 174-179
  17. Richard Elwes, Andy Lewis-Pye, Benedikt Löwe, Dugald Macpherson, Dag Normann, Andrea Sorbi, Alexandra A. Soskova, Mariya I. Soskova, Peter van Emde Boas, Stan Wainer, S. Barry Cooper (1943–2015), Computability 7:2–3 (2018), pp. 103-131.
  18. M. James C. Crabbe, Benedikt Löwe, Max Weaver, The educator's role in Higher Education: position papers from a project of the Special Interest Group Higher Education of the Worshipful Company of Educators, Oxford Centre for Higher Education Policy Studies, Occasional Paper No. 69 (2018)
• Reviews