16
votes
2answers
692 views

Haar measures in Solovay's model

Haar measure is a measure on locally compact abelian groups which is invariants to translations. For example, the Lebesgue measure on the reals is such measure. It can be shown without the use of the ...