A co-analytic maximal set of orthogonal measures

Vera Fischer, Asger Tornquist

We prove that if $V=L$ then there is a ${\Pi }_1^1$ maximal orthogonal (i.e. mutually singular) set of measures on Cantor space. This provides a natural counterpoint to the well-known T…