We consider a condition stating that, for each member I of some wide class of \Sigma^0_2-supported \sigma-ideals on R, there exists a Polish topology on R making I meager. We show its independence of ZFC.
Requires amstex.sty
Last modified April 25, 2000.