On Borel mappings and \(\sigma\)-ideals generated by closed sets (Q452039): Difference between revisions

This paper is related to a paper by \textit{M. Sabok} and \textit{J. Zapletal} [J. Symb. Log. 76 No. 3, 1075--1095 (2011; Zbl 1245.03076)]. We say that a \(\sigma\)-ideal \(I\) on a Polish space \(X\) is generated by closed sets if it is generated by the closed sets which belong to \(I\), and we say that \(I\) has the 1-1 or constant property if for every Borel \(I\)-positive set \(B\subseteq X\) and every Borel function \(f:B\to\omega^\omega\) there is a Borel \(I\)-positive subset \(C\subseteq B\) such that \(f\) is either 1-1 or constant on \(C\). Sabok and Zapletal proved in [loc. cit.] a very interesting dichotomy: If \(I\) is a \(\sigma\)-ideal generated by closed sets on a Polish space \(X\), then either \(P_I\) adds a Cohen real or else \(I\) has the 1-1 or constant property. In this paper, the authors give a different proof of this dichotomy and present a related theorem concerning functions with meager fibers. Certain \(\sigma\)-ideals generated by closed sets in compact spaces are also considered.