research-article
- 12 March 1986
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 51 (1) , 22-32
- https://doi.org/10.2307/2273938
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A second step toward the polynomial hierarchyTheoretical Computer Science, 1979
- Etude D'Un Forcing en Théorie des ModèlesMathematical Logic Quarterly, 1978
- The polynomial-time hierarchyTheoretical Computer Science, 1976
- Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ QuestionSIAM Journal on Computing, 1975