dhr. prof. dr. B. (Benedikt) Lowe


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • Bezoekadres
    Science Park 107
    Science Park 105  Amsterdam
    Kamernummer: F1.43
  • Postadres:
    Postbus  94242
    1090 GE  Amsterdam
  • B.Lowe@uva.nl
    T: 0205256071
    T: 0205256051

2016

2015

2014

2013

  • J.D. Hamkins & B. Lowe (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 Vol. 7750. Lecture Notes in Computer Science (pp. 139-147). Heidelberg: Springer-Verlag.
  • S.C. Jackson & B. Lowe (2013). Canonical measure assignments. Journal of Symbolic Logic, 78, 403-424. doi: 10.2178/jsl.7802040
  • A.W. Apter, S.C. Jackson & B. Lowe (2013). Cofinality and measurability of the first three uncountable cardinals. Transactions of the Americal Mathematical Society, 365, 59-98.

2012

  • L.W.M. Bod, B. Fisseni, A.H. Kurji & B. Lowe (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..
  • B. Lowe, D. Ikegami & D. de Kloet (2012). The Axiom of Real Blackwell Determinacy. Archive for Mathematical Logic, 51, 671-685.
  • L. Esakia & B. Lowe (2012). Fatal Heyting algebras and forcing persistent sentences. Studia Logica, 100, 163-173. doi: 10.1007/s11225-012-9393-z
  • B. Fisseni & B. Lowe (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..

2011

  • B. Löwe, E. Pacuit & A. Witzel (2011). DEL planning and some tractable cases. In H. van Ditmarsch, J. Lang & Shier Ju (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings Vol. 6953. Lecture Notes in Computer Science (pp. 179-192). Heidelberg: Springer.
  • B. Löwe (2011). Methodological remarks about comparing formal frameworks for narratives. In P. Allo & G. Primiero (Eds.), Third Workshop in the Philosophy of Information: 18 en 19 november 2010 Contactforum (pp. 10-28). Brussel: Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten.
  • R. Bod, B. Löwe & S. Saraf (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.
  • C. Dégremont, B. Löwe & A. Witzel (2011). The synchronicity of dynamic epistemic logic. In K. Apt (Ed.), Proceedings of the thirteenth conference on Theoretical Aspects of Rationality and Knowledge: TARK XIII (pp. 145-152). New York: ACM.
  • R. Bod, B. Löwe & S. Saraf (2011). How much do narrative annotations differ? : a Proppian case study. In Charles Ess & Ruth Hagengruber (Eds.), The Computational Turn: Past, Presents, Futures? (pp. 242-245) Aarhus University: MV-Wissenschaft.
  • A. Beckmann & B. Löwe (2011). Computability in Europe 2008. Theory of Computing Systems, 48 (3), 614-616. doi: 10.1007/s00224-010-9251-1
  • B. Löwe & T. Müller (2011). Data and phenomena in conceptual modelling. Synthese, 182, 131-148. doi: 10.1007/s11229-009-9621-x[go to publisher's site]
  • J. Brendle & B. Löwe (2011). Eventually different functions and inaccessible cardinals. Journal of the Mathematical Society of Japan, 63 (1), 137-151. doi: 10.2969/jmsj/06310137

2010

  • C. Geist, B. Löwe & B. van Kerkhove (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 (Texts in philosophy, 11) (pp. 155-178). London: College Publications.
  • B. Löwe, T. Müller & E. Wilhelmus (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 (Texts in philosophy, 12) (pp. 185-203). London: College Publications.
  • B. Löwe (2010). Comparing formal frameworks of narrative structure. In M. Finlayson (Ed.), Computational Models of Narrative: Papers from the 2010 AAAI Fall Symposium Vol. FS-10. AAAI Fall Symposium Series Technical Reports (pp. 45-46). Menlo Park, CA: AAAI.
  • B. Löwe & T. Müller (2010). Skills and mathematical knowledge. In B. Löwe & T. Müller (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (Texts in philosophy, 11) (pp. 265-280). London: College Publications.

2009

2008

2007

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

2006

  • B. Löwe (2006). A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Mathematical Logic Quarterly, 52, 187-189. doi: 10.1002/malq.200410059
  • B. Löwe (2006). Space bounds for infinitary computation. In A. Beckmann & U. Berger (Eds.), Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings Vol. 3988. Lecture Notes in Computer Science (pp. 319-329). Heidelberg: Springer-Verlag.
  • B. Löwe (2006). Set Theory with and without urelements and categories of interpretations. Notre Dame Journal of Formal Logic, 47, 83-91.
  • B. Löwe (2006). Revision Forever! In H. Schärfe & P. Hitzler (Eds.), Proceedings of the 14th International Conference on Conceptual Structures, ICCS06, Aalborg, Denmark Vol. 4068. Lecture Notes in Computer Science (pp. 22-36). Heidelberg: Springer-Verlag.

2007

  • J. van Benthem, D. Gabbay & B. Löwe (Eds.). (2007). Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London (Texts in logic and games, 1). Amsterdam: Amsterdam University Press.
  • S. Bold, B. Löwe, T. Räsch & J.F.A.K. van Benthem (Eds.). (2007). Foundations of the formal sciences V: infinite games (Studies in Logic, 11). London: College Publications.

2008

2006

  • B. Löwe (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of the book An introduction to proofs of determinacy of long games]. Zentralblatt MATH, 1077(03031).
  • B. Löwe (2006). Review of Apter, Sargsyan "Can a large cardinal be forced from a condition implying its negation?" [Review of the book Can a large cardinal be forced from a condition implying its negation]. Zentralblatt MATH, 1079(03040).
  • B. Löwe (2006). Review of Itay Neeman "An introduction to proofs of determinacy of long games" [Review of the book An introduction to proofs of determinacy of long games]. Mathematical Reviews, 2006d(03083).
  • B. Löwe (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of the book Homogeneously Souslin sets in small inner models]. Mathematical Reviews, 2006k(03101).
  • B. Löwe (2006). Review of Donald A. Martin "A simple proof that Determinacy implies Lebesgue Measurability" [Review of the book A simple proof that determinacy implies Lebesgue measurability]. Zentralblatt MATH, 1072(03034).
  • B. Löwe (2006). Review of Koepke, Schindler "Homogeneously Souslin sets in small inner models" [Review of the book Homogeneously Souslin sets in small inner models]. Zentralblatt MATH, 1085(03040).
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.
  • 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
  • Association Computability in Europe
    Member of the Board
  • 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

contactgegevens bewerken bewerk tabbladen