Benedikt Löwe

Home

Research

Teaching

Service

• Refereed 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 Ørstrø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.), ICLA 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.
• Accepted for Publication
  1. Benedikt Löwe, Determinacy for infinite games with more than two players with preferences, to appear in: Journal of Applied Logic (ILLC Publication Series PP-2003-19)
  2. Steve Jackson, Benedikt Löwe, Canonical measure assignments, to appear in: Journal for Symbolic Logic (ILLC Publication Series PP-2006-05)
  3. Joel D. Hamkins, George Leibman, Benedikt Löwe, Structural connections between a forcing class and its modal logic, to appear in: Israel Journal of Mathematics
• Submitted for Publication:
  1. Benedikt Löwe, Mathematics and the new technologies. Part I: Philosophical relevance of a changing culture of mathematics, submitted
  2. Bernhard Fisseni, Benedikt Löwe, Event mappings for comparing formal frameworks of narratives, submitted
• Preprints / In Preparation:
  1. Benedikt Löwe, What is ... an amoeba (2)?, preprint
  2. Benedikt Löwe, Degree multiplication in the hierarchy of norms, in preparation
  3. Bernhard Fisseni, Aadil Kurji, Benedikt Löwe, Proppian annotations and training, in preparation
  4. Luca Incurvati, Benedikt Löwe, Maddy's notion of fair interpretation, in preparation
  5. Luca Incurvati, Benedikt Löwe, Symmetrizing Maddy's notion of restrictiveness, in preparation
  6. Benedikt Löwe, Fenner Tanswell, Formalization: Abstraction or Idealization?, in preparation
  7. Benedikt Löwe, Fenner Tanswell, Formalistic positions in light of research in formal mathematics, in preparation
  8. Benedikt Löwe, Sara L. Uckelman, Dynamic Pointer Semantics and approaches to paradoxes, in preparation
  9. Joachim Bromand, Benedikt Löwe, A structural comparison between hierarchies of formal incompleteness, in preparation
  10. Lorenz Demey, Benedikt Löwe, Bernhard Schröder, Thetic Phrases in Semi-Formal Usage, in preparation
• 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
• Reviews