Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. B. (Benedikt) Lowe

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
  • Science Park 105
  • Kamernummer: F1.43
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    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]
    • Löwe, B., Paßmann, R., & Tarafder, S. (2021). Constructing illoyal algebra-valued models of set theory. Algebra Universalis, 82(3), [46]. https://doi.org/10.1007/s00012-021-00735-4 [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]
      • Downloads
    • 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, .

    Lidmaatschap

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

    Tijdschriftredactie

    • 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.
  • Nevenwerkzaamheden
    • 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
contactgegevens bewerken   bewerk profielinformatie