Tree forcing and definable maximal independent sets in hypergraphs - Jonathan Schilhan (2020)