Definable Maximal Independent Families

Jörg Brendle, Vera Fischer, Yurii Khomskii

We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a ${\mathbf{\Sigma }}_2^1$ m.i.f. is equivalent to the existence of a $\bold…