A pair \((H,Z)\), \(H\subseteq Z\), of subsets of the Cantor space \(2^\omega\) is said to be \(\Sigma_n^1\)-hard if every \(\Sigma_n^1\)-subset of \(2^\omega\) can be obtained as a preimage \(f^{-1}[H]\) under some continuous function \(f:2^\omega\to Z\). The idea is that the pair encapsulates some of the complexity of the class of \(\Sigma_n^1\)-sets. \textit{A. S. Kechris} [Proc. Am. Math. Soc. 125, No. 6, 1811--1814 (1997; Zbl 0864.03034)] proved that in some cases one can replace continuity by Borel measurability. The class of Selivanovski sets is the smallest \(\sigma\)-algebra containing all Borel sets and is closed under the Souslin operation. The main result in the paper is that for \(n\geq2\) one can replace continuity in the above definition by Selivanovski measurability. The author also proves that for \(n\geq2\), the family of \(\Sigma_n^1\)-hard pairs remains the same if we restrict it to continuous injections.
This page was built for publication: Selivanovski hard sets are hard
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2928545)
