2017/09/07 by Przeździecki, Adam J., Szewczak, Piotr, Tsaban, Boaz
#FOS: Mathematics #Functional Analysis (math.FA) #General Topology (math.GN) #Logic (math.LO)
paper · doi:10.48550/arxiv.1709.02312
An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable, consequence of the Continuum Hypothesis. We also establish the dual, Baire category analogue of this result.