Article

Full entry | PDF   (0.3 MB)
Keywords:
Borel $\sigma$-ideal; Hurewicz test
Summary:
\font\mm=cmbx10 at 12pt \def\boldSigma{\mm\char6{}} \def\boldPi{\mm\char5{}} We develop the theory of topological Hurewicz test pairs: a concept which allows us to distinguish the classes of the Borel hierarchy by Baire category in a suitable topology. As an application we show that for every ${\boldsymbol \Pi}^{0}_{\xi}$ and not ${\boldsymbol \Sigma}^{0}_{\xi}$ subset $P$ of a Polish space $X$ there is a $\sigma$-ideal $\Cal I\subseteq 2^{X}$ such that $P\notin \Cal I$ but for every ${\boldsymbol \Sigma}^{0}_{\xi}$ set $B\subseteq P$ there is a ${\boldsymbol \Pi}^{0}_{\xi}$ set $B'\subseteq P$ satisfying $B\subseteq B'\in \Cal I$. We also discuss several other results and problems related to ideal generation and Hurewicz test pairs.
References:
[1] Jech T.: Set Theory. Springer Monographs in Mathematics, Springer, Berlin, 2003. MR 1940513 | Zbl 1007.03002
[2] Kechris A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics 156, Springer, New York, 1995. MR 1321597 | Zbl 0819.04002
[3] Louveau A., Saint Raymond J.: Borel classes and closed games: Wadge-type and Hurewicz-type results. Trans. Amer. Math. Soc. 304 2 (1987), 431-467. MR 0911079 | Zbl 0655.04001
[4] Mátrai T.: Hurewicz tests: separating and reducing analytic sets on the conscious way. PhD Thesis, Central European University, 2005.
[5] Mátrai T.: ${\boldsymbol \Pi}^{0}_{2}$-generated ideals are unwitnessable. submitted for publication.
[6] Miller A.: Problems. http://www.math.wisc.edu/ miller/res/problem.pdf. Zbl 1160.90358
[7] Solecki S.: Covering analytic sets by families of closed sets. J. Symbolic Logic 59 3 (1994), 1022-1031. MR 1295987 | Zbl 0808.03031
[8] Solecki S.: Decomposing Borel sets and functions and the structure of Baire class $1$ functions. J. Amer. Math. Soc. 11 3 (1998), 521-550. MR 1606843 | Zbl 0899.03034

Partner of