A Lower Density Operator for the Borel Algebra

Abstract

We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the σ-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.