20 citations · 36 across the 10 of their papers we have counts for
Showing 2003 · math.LOShow all
2 papers · 2 filters
math.LO2003★ 2 cited
P is not equal to NP intersect coNP for Infinite Time Turing Machines
Vinay Deolalikar, Joel David Hamkins, Ralf-Dieter Schindler
Extending results of Schindler [math.LO/0106087] and Hamkins and Welch [math.LO/0212046], we establish in the context of infinite time Turing machines that P is properly contained…
math.LO2003
Exactly controlling the non-supercompact strongly compact cardinals
Arthur W. Apter, Joel David Hamkins
We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many c…