Sciweavers

LOGCOM
2007
74views more  LOGCOM 2007»
13 years 11 months ago
On Independence of Variants of the Weak Pigeonhole Principle
The principle sPHPa b (PV (α)) states that no oracle circuit can compute a surjection of a onto b. We show that sPHP (a) P (a)(PV (α)) is independent of PV1(α)+sPHP π(a) Π(a)...
Emil Jerábek