Abstract

By $\mathfrak{B}_2$ we denote the $\sigma$-ideal of all subsets $A$ of the Cantor set $\{0,1\}^\omega$ such that for every infinite subset $T$ of $\omega$ the restriction $A\mid\{0,1\}^T$ is a proper subset of $\{0,1\}^T$. In this paper we investigate set theoretical properties of this and similar ideals