Everywhere $\mathcal{I}$ sets

Jakub Cieplechowicz, Szymon Żeberski

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\!\restriction\! S\in\mathca…