Joel David Hamkins

1. Did Turing prove the undecidability of the halting problem?
   2024/06/30 by Joel David Hamkins, Theodor Nenu, Hamkins, Joel David +1 · 5 voices · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms
2. Infinite Time Turing Machines
   1998/08/21 by Joel David Hamkins, Andy Lewis, Hamkins, Joel David +1 · 3 citations
   Mathematics · #03D30 #03D60 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03D30 #msc:03D60
3. What is the theory ZFC without power set?
   2011/10/11 by Victoria Gitman, Gitman, Victoria, Joel David Hamkins +3 · 3 citations
   Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
4. Gap Forcing
   1998/08/04 by Joel David Hamkins, Hamkins, Joel David · 1 citation
   Mathematics · #03E40 #03E55 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E40 #msc:03E55
5. The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal
   2004/03/09 by Joel David Hamkins, W. Hugh Woodin, Hamkins, Joel David +1 · 1 citation
   Mathematics · #03E40 #03E55 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E40 #msc:03E55
6. The modal logic of forcing
   2005/09/27 by Joel David Hamkins, Benedikt Loewe, Hamkins, Joel David +1 · 1 citation
   Mathematics · #03B45 #03E40 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03B45 #msc:03E40
7. The Rigid Relation Principle, a New Weak Choice Principle
   2011/06/23 by Joel David Hamkins, Justin Palumbo, Hamkins, Joel David +1 · 1 citation
   Arts and Humanities · Mathematics · Psychology · #Advanced Topology and Set Theory #Epistemology, Ethics, and Metaphysics #FOS: Mathematics #Logic (math.LO) #Philosophy and Theoretical Science
8. Resurrection axioms and uplifting cardinals
   2013/07/13 by Joel David Hamkins, Hamkins, Joel David, Thomas A. Johnstone +1 · 1 citation
   Computer Science · Mathematics · #03E35 #03E55 #03E57 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
9. The modal logic of set-theoretic potentialism and the potentialist\n maximality principles
   2017/08/04 by Joel David Hamkins, Øystein Linnebo, Hamkins, Joel David +1 · 2 citations
   Arts and Humanities · Computer Science · Psychology · #Computability, Logic, AI Algorithms #Epistemology, Ethics, and Metaphysics #FOS: Mathematics #Logic (math.LO) #Philosophy and Theoretical Science
10. Upward closure and amalgamation in the generic multiverse of a countable model of set theory
    2015/11/03 by Joel David Hamkins, Hamkins, Joel David · 1 citation
    Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Advanced Algebra and Logic
11. Well-founded Boolean ultrapowers as large cardinal embeddings
    2012/06/26 by Joel David Hamkins, Hamkins, Joel David, Daniel Evan Seabold +1 · 1 citation
    Computer Science · Mathematics · #03E40 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras