1 problem

A set $A\subseteq 2^\omega$ is a $1/\omega$-base if and only if, for some (equivalently, any) effective measure-preserving isomorphism $j\colon 2^\omega\to (2^\omega)^\omega$, ther…