• Refereed Papers
  1. Benedikt Löwe, Uniform Unfolding and Analytic Measurability, Archive for Mathematical Logic 37 (1998), p.505-520
  2. Jörg Brendle, Benedikt Löwe, Solovay-type characterizations for forcing-algebras, Journal of Symbolic Logic 64 (1999), p.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], p. 103-157
  4. Moti Gitik, Benedikt Löwe, Cofinalities of Linear Orders, Order 16 (1999), p. 105-111
  5. Benedikt Löwe, Revision sequences and computers with an infinite amount of time, Journal of Logic and Computation 11 (2001), p. 25-40; also in: Heinrich Wansing (ed.), Essays on Non-Classical Logic, Singapore 2001 [Advances in Logic 1], p.37-59
  6. Lorenz Halbeisen, Benedikt Löwe, Ultrafilter Spaces on the Semilattice of Partitions, Topology and its Applications 115 (2001), p.317-332
  7. Benedikt Löwe, Philip D. Welch, Set-Theoretic Absoluteness and the Revision Theory of Truth, Studia Logica 68 (2001), p.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), p.119-145
  9. Benedikt Löwe, A first glance at non-restrictiveness, Philosophia Mathematica (III) 9 (2001), p.347-354
  10. Benedikt Löwe, Turing Cones and Set Theory of the Reals, Archive for Mathematical Logic 40 (2001), p.651-664
  11. Benedikt Löwe, Kleinberg Sequences and Partition Cardinals below delta¹₅, Fundamenta Mathematicae 171 (2002), p. 69-76
  12. Benedikt Löwe, Philipp Rohde, Games of length omega times two, Proceedings of the American Mathematical Society 130 (2002), p. 1247-1248
  13. Benedikt Löwe, Playing with mixed strategies on infinite sets, International Journal of Game Theory 31 (2002), p. 137-150
  14. Benedikt Löwe, The Formal Sciences: Their Scope, their Foundations, and their Unity, Synthese 133 (2002), p. 5-11
  15. Benedikt Löwe, Consequences of Blackwell Determinacy, Bulletin of the Irish Mathematical Society 49 (2002), p. 43-69
  16. Benedikt Löwe, A second glance at non-restrictiveness, Philosophia Mathematica (III) 11 (2003), p.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), p.335-358 (ILLC Publication Series PP-2003-18)
  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], p. 1-14 (ILLC Publication Series PP-2004-03)
  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), p. 135-149 (ILLC Publication Series PP-2003-11)
  20. Benedikt Löwe, Darko Sarenac, Cardinal spaces and topological representations of bimodal logics, Logic Journal of the IGPL 13 (2005), p. 301-306 (ILLC Publication Series PP-2004-04)
  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), p. 161-168 (ILLC Publication Series PP-2004-10)
  22. Benedikt Löwe, The pointwise view of Determinacy: Arboreal forcings, measurability, and weak measurability, Rocky Mountain Journal of Mathematics 35 (2005), p. 1233-1249 (ILLC Publication Series PP-2003-12)
  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), p. 79-98 (ILLC Publication Series PP-2004-07)
  24. Benedikt Löwe, A global wellordering of norms defined via Blackwell games, Order 22 (2005), p.85-92 (ILLC Publication Series PP-2003-14)
  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], p.137-181 (ILLC Publication Series PP-2006-11)
  26. Benedikt Löwe, A parametrised choice principle and Martin's conjecture on Blackwell determinacy, Mathematical Logic Quarterly 52 (2006), p.187-189 (ILLC Publication Series PP-2004-26)
  27. Benedikt Löwe, Set Theory with and without urelements and categories of interpretations, Notre Dame Journal of Formal Logic 47 (2006), p.83-91 (ILLC Publication Series PP-2004-33)
  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], p.319-329 (ILLC Publication Series PP-2006-27)
  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], p. 22-36 (ILLC Publication Series PP-2006-14)
  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], p.23-41 ( ILLC Publication Series PP-2005-19)
  31. Benedikt Löwe, Brian T. Semmes, The extent of constructive labellings, Journal of Logic and Computation 17 (2007), p.285-293 (ILLC Publication Series PP-2006-10)
  32. Andreas R. Blass, Ioanna M. Dimitriou, Benedikt Löwe, Inaccessible Cardinals without the Axiom of Choice, Fundamenta Mathematicae 194 (2007), p.179-189 (ILLC Publication Series PP-2006-46)
  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], p.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, p. 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], p. 79-99
  36. Joel D. Hamkins, Benedikt Löwe, The Modal Logic of Forcing, Transactions of the American Mathematical Society 360 (2008), p. 1793-1817 (ILLC Publication Series PP-2005-26)
  37. Benedikt Löwe, Thomas Müller, Mathematical knowledge is context-dependent, Grazer Philosophische Studien 76 (2008), p. 91-107 (ILLC Publication Series PP-2005-18)
  38. Bernd Buldt, Benedikt Löwe, Thomas Müller, Towards a new epistemology of mathematics, Erkenntnis 68 (2008), p. 309-329 (ILLC Publication Series PP-2007-33)
  39. Benedikt Löwe, Eric Pacuit, An abstract approach to reasoning about games with mistaken and changing beliefs, Australasian Journal of Logic 6 (2008), p. 162-181 (ILLC Publication Series PP-2006-33)
  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], p. 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.), MOCA'09, Fifth International Workshop on Modelling of Objects, Components, and Agents, Hamburg 2009 (ILLC Publication Series PP-2009-33)
• 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. Benedikt Löwe, Thomas Müller, Eva Wilhelmus, Mathematical knowledge: a case study in empirical philosophy of mathematics, to appear in: Proceedings PMP 2007 (ILLC Publication Series PP-2007-32)
  3. Benedikt Löwe, Thomas Müller, Data and Phenomena in Conceptual Modelling, to appear in: Synthese
• Submitted for Publication:
  1. Steve Jackson, Benedikt Löwe, Canonical measure assignments, submitted (ILLC Publication Series PP-2006-05)
  2. Jörg Brendle, Benedikt Löwe, Eventually different functions and inaccessible cardinals, submitted (ILLC Publication Series PP-2009-13)
  3. Daisuke Ikegami, David de Kloet, Benedikt Löwe, The Axiom of Real Blackwell Determinacy, submitted (ILLC Publication Series PP-2009-17)
  4. Arthur Apter, Steve Jackson, Benedikt Löwe, Cofinality and measurability of the first three uncountable cardinals, submitted
  5. Christian Geist, Benedikt Löwe, Bart Van Kerkhove, Peer review and knowledge by testimony in mathematics, submitted
  6. Benedikt Löwe, Thomas Müller, Skills and mathematical knowledge, submitted
• Preprints / In Preparation:
  1. Benedikt Löwe, What is ... an amoeba (2)?, preprint
  2. Gunter Fuchs, Joel D. Hamkins, Benedikt Löwe, Modal Logics of Collapse Forcings, in preparation
  3. Benedikt Löwe, Sara L. Uckelman, Roger Swyneshed's notion of self-falsification and modern approaches to Fitch's paradox, in preparation
  4. Joachim Bromand, Benedikt Löwe, A structural comparison between hierarchies of formal incompleteness, in preparation
  5. Lorenz Demey, Benedikt Löwe, Bernhard Schröder, Thetic Phrases in Semi-Formal Usage, in preparation
• Edited books and special issues
• 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

Back to personal homepage