P^f is not equal to NP^f for almost all f

Joel David Hamkins, Philip D. Welch

We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines P^f = NP^f can be true for any function f from the reals into omega_1. We show that ``alm…