Everywhere $\mathcal{I}$ sets

Abstract

Let $\mathcal{I}$ be a $\sigma$-ideal on the Cantor space $2^{\omega }$. A set $X\subseteq 2^{\omega }$ is called everywhere $\mathcal{I}$ if for any $S\in [\omega {]}^{\omega }$ the set $X\upharpoonright S\in \mathcal{I}(2^S).$ We will discuss relations between such families in the class of perfect and Borel sets.

13 pages

References in corpus (1)

• Classifying invariant $\sigma$-ideals with analytic base on good Cantor measure spaces