Hamkins, Joel David

1. Did Turing prove the undecidability of the halting problem?
   2024/06/30 by Joel David Hamkins, Hamkins, Joel David, Theodor Nenu +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. 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
5. 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
6. The Rigid Relation Principle, a New Weak Choice Principle
   2011/06/23 by Joel David Hamkins, Hamkins, Joel David, Justin Palumbo +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
7. Generalizations of the Kunen Inconsistency
   2011/06/10 by Hamkins, Joel David, Kirmayer, Greg, Perlmutter, Norman Lewis · 1 citation
   #03E55 #FOS: Mathematics #Logic (math.LO)
8. Structural connections between a forcing class and its modal logic
   2012/07/24 by Hamkins, Joel David, Leibman, George, Löwe, Benedikt · 1 citation
   #03B45 #03E57 #FOS: Mathematics #Logic (math.LO)
9. Superstrong and other large cardinals are never Laver indestructible
   2013/07/12 by Bagaria, Joan, Hamkins, Joel David, Tsaprounis, Konstantinos +1 · 1 citation
   #03E40 #03E55 #FOS: Mathematics #Logic (math.LO)
10. 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)
11. Strongly uplifting cardinals and the boldface resurrection axioms
    2014/03/12 by Hamkins, Joel David, Johnstone, Thomas A. · 1 citation
    #03E55 #03E57 #FOS: Mathematics #Logic (math.LO)
12. 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
13. Bi-interpretation in weak set theories
    2020/01/15 by Freire, Alfredo Roque, Hamkins, Joel David · 1 citation
    #FOS: Mathematics #Logic (math.LO)
14. Transfinite game values in infinite draughts
    2021/11/03 by Hamkins, Joel David, Leonessi, Davide · 1 citation
    #03E60 #91Axx #Combinatorics (math.CO) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)
15. Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account
    2022/09/16 by Hamkins, Joel David · 1 citation
    #FOS: Mathematics #Logic (math.LO)
16. 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
17. 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