It is not the case that Buss (1986) proved that the provably total functions of S^i_2 correspond to the functions computable at the i-th level of the polynomial hierarchy
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.