Thomas A. Johnstone
- What is the theory ZFC without power set?
2011/10/11 by Victoria Gitman, Joel David Hamkins, Gitman, Victoria +3 · 5 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
- 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)