Could you direct me to some readable treatments of Mahaney's theorem? The best thing I've been able to find is Fortnow's lecture. I'm especially interested in discussion around the theorem and its ramifications. Thanks
Kozen's Theory of Computation, Theorem 29.2 (on Google Books).
Alan Selman (editor) Complexity Theory Retrospective, Theorem 5.2.1 (on Google Books).