When studying complexity classes of partitions we often face the situation that different partition classes have the same component classes. The projective closures are the largest classes among these with respect to set inclusion. In this paper we investigate projective closures of classes of boolean NP-partitions, i.e., partitions with components that have complexity upper-bounds in the boolean hierarchy over NP. We prove that the projective closures of these classes are represented by finite labeled posits. We give algorithms for calculating these posits and related problems. As a consequence we obtain representations of the set classed NP(m) ∩ cnNP (m) by means of finite labeled posits.
展开▼
