We prove that if ZFC is consistent so is ZFC + "for any sequence (A(n)) of
subsets of a Polish space [X, tau] there exists a separable metrizable topo
logy tau' on X with B(X, tau) subset of or equal to B(X, tau'), MGR(X, tau'
) boolean AND B(X, tau) = MGR(X, tau) boolean AND B(X, tau) and A(n) Borel
in tau' for all n." This is a category analogue of a theorem of Carlson on
the possibility of extending Lebesgue measure to any countable collection o
f sets. A uniform argument is presented, which gives a new proof of the lat
ter as well.