Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-24T03:14:28.483Z Has data issue: false hasContentIssue false

Hurewicz test sets for generalized separation and reduction

Published online by Cambridge University Press:  01 September 2007

TAMÁS MÁTRAI*
Affiliation:
Department of Mathematics and its Applications, Central European University, Nádor u. 6. 1051, Budapest, Hungary. email: matrait@renyi.hu

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
Copyright
Copyright © Cambridge Philosophical Society 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Debs, G. and Raymond, J. Saint. Effective refining of Borel coverings. Preprint.Google Scholar
[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) 431467.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), 157168.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