Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 185
Number of items: 185
  • Beckmann, A. (Guest ed.), Merkle, W. (Guest ed.), & Löwe, B. (Guest ed.) (2012). Computability in Europe: Mathematical Theory and Computational Practice. Theory of Computing Systems, 51(1), 1-122. https://link.springer.com/journal/224/51/1/page/1
  • Ferreira, F. (Guest ed.), Löwe, B. (Guest ed.), & Mayordomo, E. (Guest ed.) (2012). CiE: Programs, Proofs, Processes. Theory of Computing Systems, 51(3), 267-400. https://link.springer.com/journal/224/51/3/page/1
  • Kechris, A. S., Löwe, B., & Steel, J. R. (Eds.) (2012). The Cabal Seminar. - Volume II: Wadge degrees and projective ordinals. (Lecture Notes in Logic; Vol. 37). Cambridge University Press. https://doi.org/10.1017/CBO9781139028073
  • Cooper, S. B., Dawar, A., & Löwe, B. (2012). How the World Computes: Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings. (Lecture Notes in Computer Science; Vol. 7318). Springer. https://doi.org/10.1007/978-3-642-30870-3
  • Dawar, A., Cooper, S. B., & Löwe, B. (2012). Preface. In S. B. Cooper, A. Dawar, & B. Löwe (Eds.), How the World Computes: Turing Centenary Conference and Eighth Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings (pp. V-IX). (Lecture Notes in Computer Science; Vol. 7318). Springer. https://doi.org/10.1007/978-3-642-30870-3
  • Open Access
    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
  • Open Access
    Khomskii, Y. D. (2012). Regularity properties and definability in the real number continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    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
  • 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
  • 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). ACM. https://doi.org/10.1145/2000378.2000395
Page 4 of 19