A remark on a theorem of Losert (Q1321530)

The main result of this paper is that subject to the continuum hypothesis any Haar measure on a compact topological group with (topological) weight less or equal to \(\aleph_ 2\) admits a Baire strong lifting. This result is an extension of a theorem of Losert for products of less than \(\aleph_ 2\) Radon measures each one supported by a compact metric space and it falls under a general class of results exploiting a certain analogy between measures on products of compact metric spaces and measures on compact topological groups, a problem raised by Choksi. The methods taken for the proof are in analogy with Losert's procedure but the proof of the main lemma is much harder to achieve. Finally, it should be noted that the result can be extended to locally compact groups.