On a theorem of Banach and Kuratowski and K-Lusin sets

In a paper of 1929, Banach and Kuratowski proved, assuming the continuum hypothesis, a combinatorial theorem which implies that there is no non-vanishing sigma-additive finite measure on the real line which is defined for every set of reals. It will be shown that the combinatorial theorem is equivalent to the existence of a K-Lusin set of size the continuum and that the existence of such sets is independent of ZFC plus non CH.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.