The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection

Abstract

We show that if the Boolean hierarchy collapses to its $k^{th}$ level, then the polynomial hierarchy collapses to the $k^{th}$ level of the difference hierarchy of $\Sigma^{P}_{2}$ languages.