Inverting Onto Functions and Polynomial Hierarchy

Abstract

In this paper we construct an oracle under which the polynomial hierarchy is infinite but there are non-invertible polynomial time computable multivalued onto functions