It is not the case that Buss's proof of PHP_n in P_1 encodes induction over sharply bounded formulas, which presupposes the very combinatorial principles PHP is meant to test.
?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.