Tree forcing and definable maximal independent sets in hypergraphs

We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over $L$, every analytic hypergraph on a Polish space admits a $\mathbfΔ^1_2$ maximal independent set. As a main application we get the consistency of $\mathfrak{r} = \mathfrak{u} = \mathfrak{i} = ω_2$ together with the existence of a $Δ^1_2$ ultrafilter, a $Π^1_1$ maximal independent family and a $Δ^1_2$ Hamel basis. This solves open problems of Brendle, Fischer and Khomskii and the author. We also show in ZFC that $\mathfrak{d} \leq \mathfrak{i}_{cl}$.

No reviews yet.

No comments yet.