2 citations · 3 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
Homogeneously Souslin sets in small inner models
Peter Koepke, Ralf Schindler
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal.
BMM is stronger than BSPFA
Ralf Schindler
It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by vario…
Core models in the presence of Woodin cardinals
Ralf Schindler
It is shown that if there is a measurable cardinal above n Woodin cardinals and M_{n+1}^# doesn't exist then K exists. K is not fully iterable, though, but only iterable with respe…