[IsTom]

As to the PH result, arguments on relativized classes can be pretty inconclusive. There's both oracles for P^A = NP^A and P^B != NP^B.