$Σ^1_2$ and $Π^1_1$ mad families

We answer in the affirmative the following question of Jörg Brendle: If there is a $Σ^1_2$ mad family, is there then a $Π^1_1$ mad family?

No reviews yet.

No comments yet.