Covering Analytic Sets by Families of Closed Sets
Solecki, Slawomir
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 1022-1031 / Harvested from Project Euclid
We prove that for every family $I$ of closed subsets of a Polish space each $\Sigma^1_1$ set can be covered by countably many members of $I$ or else contains a nonempty $\Pi^0_2$ set which cannot be covered by countably many members of $I$. We prove an analogous result for $\kappa$-Souslin sets and show that if $A^\sharp$ exists for any $A \subset \omega^\omega$, then the above result is true for $\Sigma^1_2$ sets. A theorem of Martin is included stating that this result is also true for weakly homogeneously Souslin sets. As an application of our results we derive from them a general form of Hurewicz's theorem due to Kechris, Louveau, and Woodin and a theorem of Feng on the open covering axiom. Also some well-known theorems on finding "big" closed sets inside of "big" $\Sigma^1_1$ and $\Sigma^1_2$ sets are consequences of our results.
Publié le : 1994-09-14
Classification: 
@article{1183744566,
     author = {Solecki, Slawomir},
     title = {Covering Analytic Sets by Families of Closed Sets},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 1022-1031},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744566}
}
Solecki, Slawomir. Covering Analytic Sets by Families of Closed Sets. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  1022-1031. http://gdmltest.u-ga.fr/item/1183744566/