A co-analytic maximal set of orthogonal measures.

Authors: Vera Fischer, Asger Tornquist
Subjects: Logic
link: http://arxiv.org/abs/0908.1605
Abstract

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 Theorem of Preiss and Rataj that no analytic set
of measures can be maximal orthogonal.