# Is there an oracle that separates $PH$ from counting classes?

Is there an oracle $$A$$ for which $$P^A =PH^A \neq CH^A = NEXP^A$$ holds?

• Hmm, I am not sure why there are down votes and close votes... what's wrong with this question? Too short, not well-researched? Oct 7 '20 at 21:21
• We have $P^A=PH^A\neq CH^A$ from cstheory.stackexchange.com/questions/44503/…. However it does not give $CH^A=NEXP^A$.
– Mr.
Oct 20 '20 at 0:16