Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • 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
  • Open Access
    Hamkins, J. D., & Löwe, B. (2008). The modal logic of forcing. Transactions of the Americal Mathematical Society, 360(4), 1793-1817. https://doi.org/10.1090/S0002-9947-07-04297-3
  • Hamkins, J. D. (2007). A survey of infinite time Turing machines. In J. Durand-Lose, & M. Margenstern (Eds.), Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007 : proceedings (pp. 62-71). (Lecture Notes in Computer Science; Vol. 4664). Springer. https://doi.org/10.1007/978-3-540-74593-8_5
  • Hamkins, J. D., & Miller, R. G. (2007). Post’s problem for ordinal register machines. In S. B. Cooper, B. Löwe, & A. Sorbi (Eds.), Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings (pp. 358-367). (Lecture Notes in Computer Science; Vol. 4497). Springer. https://doi.org/10.1007/978-3-540-73001-9_37
  • Hamkins, J. D., Linetsky, D., & Miller, R. (2007). The complexity of quickly decidable ORM-decidable sets. In S. B. Cooper, B. Löwe, & A. Sorbi (Eds.), Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings (pp. 488-496). (Lecture Notes in Computer Science; Vol. 4497). Springer. https://doi.org/10.1007/978-3-540-73001-9_51
  • Hamkins, J. D., & Löwe, B. (2005). The Modal Logic of Forcing. (Technical Reports; No. PP-2005-26). Institute for Logic, Language and Computation.
  • Hamkins, J. D. (2005). Infinitary computability with infinite time. In B. Löwe, & B. Cooper (Eds.), New Computational Paradigms (Vol. 3526). Springer-Verlag.
Page of