Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 185
Number of items: 185
  • Open Access
    Carl, M., Galeotti, L., & Löwe, B. (2018). The Bolzano-Weierstrass theorem in generalised analysis. Houston Journal of Mathematics, 44(4), 1081-1109. https://preprint.math.uni-hamburg.de/public/papers/hbm/hbm752.pdf
  • Open Access
    de Holanda Cunha Nobrega, H. (2018). Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Incurvati, L., & Löwe, B. (2016). Restrictiveness relative to notions of interpretation. Review of Symbolic Logic, 9(2), 238-250. https://doi.org/10.1017/S1755020316000058
  • Open Access
    Löwe, B., & Tarafder, S. (2015). Generalized algebra-valued models of set theory. Review of Symbolic Logic, 8(1), 192-205. https://doi.org/10.1017/S175502031400046X
  • Cooper, S. B. (Guest ed.), Dawar, A. (Guest ed.), Hyland, M., & Löwe, B. (Guest ed.) (2014). Turing Centenary Conference: How the World Computes. Annals of Pure and Applied Logic, 165(9), 1353-1532. http://www.sciencedirect.com/science/journal/01680072/165/9?sdc=1
  • Geschke, S., Lowe, B., & Schlicht, P. (Eds.) (2014). Infinity, Computability and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. (Tributes; Vol. 23). College Publications.
  • 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
  • Open Access
    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
  • Open Access
    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
  • 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). Springer. https://doi.org/10.1007/978-3-642-36039-8_13
Page 2 of 19