2 citations · 3 across the 4 of their papers we have counts for
Showing 2000Show all
3 papers · 1 filter
math.LO2000
A universal weasel without large cardinals in V
Ralf Schindler
We prove in the theory "ZFC + there is no inner model with a Woodin cardinal" that there is a universal weasel. This shows in particular that one doesn't have to assume the existen…
math.LO2000
A note on an alleged proof of the relative consistency of P=NP with PA
Ralf Schindler
We indicate that an argument of da Costa and Doria in fact proves P=NP. This observation makes their argument appear dubious. We isolate a weak version of one of their lemmas which…
math.LO2000
The core model for almost linear iterations
Ralf-Dieter Schindler
We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We…