Random oracles separate PSPACE from the polynomial-time hierarchy

This publication has 4 references indexed in Scilit:

• research-article
  The Journal of Symbolic Logic, 1986
• ∑11-Formulae on finite structures
  Annals of Pure and Applied Logic, 1983
• Relative to a Random OracleA, ${\bf P}^A \ne {\bf NP}^A \ne \text{co-}{\bf NP}^A $ with Probability 1
  SIAM Journal on Computing, 1981
• Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
  SIAM Journal on Computing, 1975