Mycielski among trees

Marcin Michalski, Robert Rałowski, Szymon Żeberski

Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1{]}^2$ there exists a perfect set $P\subseteq [0,1]$ such that $…