223 citations · 725 across the 95 of their papers we have counts for
Showing 2003Show all
3 papers · 1 filter
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★ 104 cited
Extensions with the approximation and cover properties have no new large cardinals
Joel David Hamkins
If an extension Vbar of V satisfies the delta approximation and cover properties for classes and V is a class in Vbar, then every suitably closed embedding j:Vbar to Nbar in Vbar w…
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…