The third version formulation of CH asserts that there is no surjection ρ : ℝ → ℵ2, or, equivalently, that there is no prewellordering of ℝ of length ℵ2. For a given pointclass Γ in the hierarchy of definability, the corresponding surjection version of CH asserts that there is no surjection ρ : ℝ → ℵ2  such that (the code for) ρ is in Γ. 