Tree forcing and definable maximal independent sets in hypergraphs

Jonathan Schilhan

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 $\mat…