Remarks on the strengthening of the Erdos-Sierpinski theorem
Erdos--Sierpinski theorem asserts that, assuming Continuum
Hypothesis, there exists an automorphism of the real line which maps
every null set onto a meager set and vice versa.
It turns out that some natural strengthenings of this theorem are
inconsistent with ZFC.