No CrossRef data available.
Article contents
Hurewicz test sets for generalized separation and reduction
Published online by Cambridge University Press: 01 September 2007
Abstract
We prove a Hurewicz-type theorem for generalized separation: we present a method which allows us to test if for a sequence of Borel sets (Ai)i > ω satisfying there is a sequence (Bi)i < ω of Π0ξ sets such that or not. We also prove an analogous result for generalized reduction. The results of the paper are motivated by a Hurewicz-type theorem of A. Louveau and J. Saint Raymond on ordinary separation of analytic sets.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 143 , Issue 2 , September 2007 , pp. 407 - 417
- Copyright
- Copyright © Cambridge Philosophical Society 2007
References
REFERENCES
[2]Kechris, A. S.. Classical Descriptive Set Theory. Graduate Texts in Mathematics 156 (Springer-Verlag, 1994).Google Scholar
[3]Louveau, A. and Raymond, J. Saint. Borel Classes and Closed Games: Wadge-type and Hurewicz-type Results. Trans. Amer. Math. Soc., 304, No. 2 (1987) 431–467.Google Scholar
[4]Mátrai, T.. Hurewicz tests: separating and reducing analytic sets the conscious way. PhD Thesis (Central European University, 2005).Google Scholar
[5]Mátrai, T.. On the closure of Baire classes under transfinite convergences. Fund. Math. 183 (2004), 157–168.Google Scholar
[6]Moschovakis, Y.. Descriptive Set Theory. Studies in Logic and the Foundations of Mathematics, Volume 100 (North-Holland Publishing Co., 1980).Google Scholar