The polynomial hierarchy and intuitionistic Bounded Arithmetic

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 77-103
https://doi.org/10.1007/3-540-16486-3_91

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

The polynomial hierarchy and fragments of bounded arithmetic
Published by Association for Computing Machinery (ACM) ,1985
Recursive functions and intuitionistic number theory
Transactions of the American Mathematical Society, 1947
On the interpretation of intuitionistic number theory
The Journal of Symbolic Logic, 1945
Proof of the independence of the primitive symbols of Heyting's calculus of propositions
The Journal of Symbolic Logic, 1939