For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Dr. B. (Benedikt) Lowe

Faculty of Science
ILLC

Visiting address
  • Science Park 105
  • Room number: F1.43
Postal address
  • Postbus 94242
    1090 GE Amsterdam
  • Publications

    2021

    • Caicedo, A. E., & Löwe, B. (2021). The Fourteen Victoria Delfino Problems and their Status in the Year 2020. In A. S. Kechris, B. Löwe, & J. R. Steel (Eds.), The Cabal Seminar. - Volume IV: Large Cardinals, Determinacy and Other Topics (pp. 248-280). (Lecture Notes in Logic; Vol. 49). Cambridge University Press. https://doi.org/10.1017/9781316863534.013 [details]
    • Kechris, A. S., Löwe, B., & Steel, J. R. (Eds.) (2021). The Cabal Seminar. - Volume IV: Large Cardinals, Determinacy and Other Topics. (Lecture Notes in Logic; Vol. 49). Cambridge University Press. https://doi.org/10.1017/9781316863534 [details]

    2020

    • Galeotti, L., Hanafi, A., & Löwe, B. (2020). Relations between notions of gaplessness for non-Archimedean fields. Houston Journal of Mathematics, 46(4), 1017-1031.

    2019

    • Löwe, B., & Van Kerkhove, B. (2019). Methodological triangulation in empirical philosophy (of mathematics). In A. Aberdein, & M. Inglis (Eds.), Advances in Experimental Philosophy of Logic and Mathematics (pp. 15-38). (Advances in Experimental Philosophy). Bloomsbury Academic. https://doi.org/10.5040/9781350039049.0005 [details]

    2018

    2016

    2015

    2014

    • Fisseni, B., & Löwe, B. (2014). Event mappings for comparing formal frameworks for narratives. Logique et Analyse, 57(226), 181-222. https://doi.org/10.2143/LEA.226.0.3032654 [details]
    • Fisseni, B., & Löwe, B. (2014). What Makes Stories Similar? Report on a Research Project, 2011-2014. In M. A. Finlayson, J. C. Meister, & E. C. Bruneau (Eds.), 5th Workshop on Computational Models of Narrative: CMN’14, July 31–August 2, 2014, Quebec City, Canada (pp. 9-12). (Open Access Series in Informatics; Vol. 41). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.CMN.2014.9 [details]
    • Fisseni, B., Kurji, A., & Löwe, B. (2014). Annotating with Propp's Morphology of the Folktale: Reproducibility and Trainability. Literary and Linguistic Computing, 29(4), 488-510. https://doi.org/10.1093/llc/fqu050 [details]

    2013

    • Apter, A. W., Jackson, S. C., & Löwe, B. (2013). Cofinality and measurability of the first three uncountable cardinals. Transactions of the Americal Mathematical Society, 365(1), 59-98. https://doi.org/10.1090/S0002-9947-2012-05497-3 [details]
    • Beckmann, A., & Lowe, B. (Eds.) (2013). Acts of the programme Semantics and Syntax: Isaac Newton Institute for the Mathematical Sciences, January to July 2012. (Texts in Computing; Vol. 17). College Publications. [details]
    • Hamkins, J. D., & Löwe, B. (2013). Moving up and down in the generic multiverse. In K. Lodaya (Ed.), Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings (pp. 139-147). (Lecture Notes in Computer Science; Vol. 7750), (FoLLI Publications on Logic, Language and Information). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-36039-8_13 [details]
    • Jackson, S., & Löwe, B. (2013). Canonical measure assignments. Journal of Symbolic Logic, 78(2), 403-424. https://doi.org/10.2178/jsl.7802040 [details]

    2012

    • Bod, L. W. M., Fisseni, B., Kurji, A. H., & Lowe, B. (2012). Objectivity and reproducibility of Proppian annotations. In M. A. Finlayson (Ed.), The Third Workshop on Computational Models of Narrative (pp. 17-21). M.I.T..
    • Esakia, L., & Löwe, B. (2012). Fatal Heyting algebras and forcing persistent sentences. Studia Logica, 100(1-2), 163-173. https://doi.org/10.1007/s11225-012-9393-z [details]
    • Fisseni, B., & Lowe, B. (2012). Which dimensions of narrative are relevant for human judgments of story equivalence? In M. A. Finlayson (Ed.), The Third Workshop on Computational Models of Narrative (pp. 114-118). M.I.T..
    • Ikegami, D., de Kloet, D., & Löwe, B. (2012). The Axiom of Real Blackwell Determinacy. Archive for Mathematical Logic, 51(7-8), 671-685. https://doi.org/10.1007/s00153-012-0291-x [details]

    2011

    • Beckmann, A., & Löwe, B. (2011). Computability in Europe 2008. Theory of Computing Systems, 48(3), 614-616. https://doi.org/10.1007/s00224-010-9251-1 [details]
    • Bod, R., Löwe, B., & Saraf, S. (2011). How much do narrative annotations differ? A Proppian case study. In C. Ess, & R. Hagengruber (Eds.), The computational turn: past, presents, futures? : 4-6 July, 2011, Aarhus University (pp. 242-245). Münster: Monsenstein und Vannerdat. [details]
    • Brendle, J., & Löwe, B. (2011). Eventually different functions and inaccessible cardinals. Journal of the Mathematical Society of Japan, 63(1), 137-151. https://doi.org/10.2969/jmsj/06310137 [details]
    • Dégremont, C., Löwe, B., & Witzel, A. (2011). The synchronicity of dynamic epistemic logic. In K. R. Apt (Ed.), TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) (pp. 145-152). New York, NY: ACM. https://doi.org/10.1145/2000378.2000395 [details]
    • Löwe, B. (2011). Methodological remarks about comparing formal frameworks for narratives. Contactforum, 10-28. [details]
    • Löwe, B., & Müller, T. (2011). Data and phenomena in conceptual modelling. Synthese, 182, 131-148. https://doi.org/10.1007/s11229-009-9621-x [details]
    • Löwe, B., Pacuit, E., & Witzel, A. (2011). DEL planning and some tractable cases. In H. van Ditmarsch, J. Lang, & S. Ju (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp. 179-192). (Lecture Notes in Computer Science; Vol. 6953), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-24130-7_13 [details]

    2010

    • Geist, C., Löwe, B., & van Kerkhove, B. (2010). Peer review and knowledge by testimony in mathematics. In B. Löwe, & T. Müller (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp. 155-178). (Texts in philosophy; No. 11). London: College Publications. [details]
    • Löwe, B. (2010). Comparing formal frameworks of narrative structure. AAAI Fall Symposium Series Technical Reports, FS-10, 45-46. [details]
    • Löwe, B., & Müller, T. (2010). Skills and mathematical knowledge. In B. Löwe, & T. Müller (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp. 265-280). (Texts in philosophy; No. 11). London: College Publications. [details]
    • Löwe, B., Müller, T., & Wilhelmus, E. (2010). Mathematical knowledge: a case study in empirical philosophy of mathematics. In B. Van Kerkhove, J. De Vuyst, & J. P. Van Bendegem (Eds.), Philosophical perspectives on mathematical practice (pp. 185-203). (Texts in philosophy; No. 12). London: College Publications. [details]

    2009

    • Ghosh, S., Löwe, B., & Saraf, S. (2009). Pointer semantics with forward propagation. Advances in Intelligent Systems Research, 8, 37-42. https://doi.org/10.2991/agi.2009.29 [details]
    • Löwe, B., Pacuit, E., & Saraf, S. (2009). Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation™. In Proceedings of the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09) Hamburg: University of Hamburg. [details]

    2008

    2007

    • Blass, A. R., Dimitriou, I. M., & Löwe, B. (2007). Inaccessible Cardinals without the Axiom of Choice. Fundamenta Mathematicae, 194, 179-189.
    • Bold, S., & Löwe, B. (2007). A simple inductive measure analysis for cardinals under the axiom of determinacy. In S. Gao, & S. Jackson (Eds.), Advances in Logic (pp. 23-42). (Contemporary Mathematics; No. 425). Providence RI: AMS.
    • Ghosh, S., Löwe, B., & Scorelle, E. (2007). Belief Flow in Assertion Networks. In U. Priss, S. Polovina, & R. Hill (Eds.), Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings (pp. 401-414). (Lecture Notes in Computer Science; Vol. 4604), ( Lecture Notes in Artificial Intelligence). Berlin: Springer. https://doi.org/10.1007/978-3-540-73681-3_30 [details]
    • Löwe, B. (2007). Visualization of ordinals. In T. Müller, & A. Newen (Eds.), Logik, Begriffe, Prinzipien des Handelns (pp. 64-80). Paderborn: Mentis.
    • Löwe, B., & Semmes, B. (2007). The extent of constructive game labellings. Journal of Logic and Computation, 17(2), 285-298. https://doi.org/10.1093/logcom/exl039 [details]

    2006

    • Löwe, B. (2006). A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Mathematical Logic Quarterly, 52, 187-189. https://doi.org/10.1002/malq.200410059 [details]
    • Löwe, B. (2006). Revision Forever! Lecture Notes in Computer Science, 4068, 22-36. [details]
    • Löwe, B. (2006). Set Theory with and without urelements and categories of interpretations. Notre Dame Journal of Formal Logic, 47, 83-91. [details]
    • Löwe, B. (2006). Space bounds for infinitary computation. Lecture Notes in Computer Science, 3988, 319-329. https://doi.org/10.1007/11780342_34 [details]

    2007

    • Bold, S., Löwe, B., Räsch, T., & van Benthem, J. F. A. K. (2007). Foundations of the formal sciences V: infinite games. (Studies in Logic; No. 11). London: College Publications. [details]

    2018

    • Kann, C., Löwe, B., Rode, C., & Uckelman, S. L. (Eds.) (2018). Medieval Logic and Modern Applied Logic. (Recherches de Théologie et Philosophie Médiévales Bibliotheca; Vol. 11). Peeters.

    2008

    • Löwe, B. (2008). Logic and the simulation of interaction and reasoning: Introductory remarks. In 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 (pp. iii-v). Brighton: The Society for the Study of Artificial Intelligence and Simulation of Behaviour (SSAISB). [details]

    2006

    • Löwe, B. (2006). Review of Apter, Sargsyan "Can a large cardinal be forced from a condition implying its negation?" [Review of: Can a large cardinal be forced from a condition implying its negation]. Zentralblatt MATH, 1079(03040). [details]
    • Löwe, B. (2006). Review of Donald A. Martin "A simple proof that Determinacy implies Lebesgue Measurability" [Review of: A simple proof that determinacy implies Lebesgue measurability]. Zentralblatt MATH, 1072(03034). [details]
    • Löwe, B. (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of: An introduction to proofs of determinacy of long games]. Mathematical Reviews, 2006d(03083). [details]
    • Löwe, B. (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of: An introduction to proofs of determinacy of long games]. Zentralblatt MATH, 1077(03031). [details]
    • Löwe, B. (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of: Homogeneously Souslin sets in small inner models]. Mathematical Reviews, 2006k(03101). [details]
    • Löwe, B. (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of: Homogeneously Souslin sets in small inner models]. Zentralblatt MATH, 1085(03040). [details]

    2015

    • Lowe, B., de Holanda Cunha Nobrega, H., & Pauly, A. (2015). Game Characterizations and Weihrauch Degrees. Abstract from The Twelfth International Conference on Computability and Complexity in Analysis, .

    Membership

    • Löwe, B. (2018-2072). Académie Internationale de Philosophie des Sciences (AIPS).

    Journal editor

    • Cooper, S. B. (editor), Lowe, B. (editor) & Sorbi, A. (editor) (2009). Journal of Logic and Computation (Journal).
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • DVMLG
      President
    • Wiley VCH
      Managing editor MLQ
    • EACSL
      Member of the Board
    • Springer-Verlag
      Member of the Editorial Board
    • Associate for Logic in ludia
      Member of the Council
    • Vereniging voor Logica (VvL)
      Nederlandse vereniging voor Logica en Wijsbegeerte
    • Division of Logic (DLMPS)
      Assistant secretary gereral
    • IASCUD
      Assessor
    • IOS Press
      Managing editor
    • Verein zur ausbildung von Tagungen
      President
    • Association Computability in Europe
      Member of the Board