Borel version of the Local Lemma

Endre Csóka, Łukasz Grabowski, András Máthé +2

We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there…