No label defined (Q4944911)

It is a classic result of Luzin that a~subset of a~Polish space is Borel if and only if it is the continuous one-to-one image of a~closed subset of a Baire space \(\omega^\omega\). \textit{T.~A. Slaman} [``On a~question of Sierpiński'', Fundam. Math. 159, No.~2, 153-159 (1999; Zbl 0926.03059)] proved that there is a~subset of~\(\omega^\omega\) which has every uncountable analytic set as its continuous one-to-one image and such a set can never be analytic. The question whether such a~set can be coanalytic was answered positively by the author of the paper under review. Moreover under the determinacy assumption he proves that ``almost any'' coanalytic set has every uncountable \(\underset\sim\Sigma^1_2\)-set as its continuous one-to-one image. For the entire collection see [Zbl 0932.00038].