Application of Hurewicz theorem to Classification of $\Pi_1^1$-complete sets
Staš, Michal
Tatra Mountains Mathematical Publications, Tome 45 (2010), / Harvested from Mathematical Institute

We present a simple proof of a dichotomy theorem by Kechris-Louveau-Woodin \cite{Ke1} telling that every $\Pi_1^1$ $\sigma$-ideal of compact subsets of a~Polish space is either G$_{\delta}$ or else $\Pi_1^1$-complete.

Publié le : 2010-01-01
DOI : https://doi.org/10.2478/tatra.v46i0.78
@article{78,
     title = {Application of  Hurewicz theorem to Classification of $\Pi\_1^1$-complete sets},
     journal = {Tatra Mountains Mathematical Publications},
     volume = {45},
     year = {2010},
     doi = {10.2478/tatra.v46i0.78},
     language = {EN},
     url = {http://dml.mathdoc.fr/item/78}
}
Staš, Michal. Application of  Hurewicz theorem to Classification of $\Pi_1^1$-complete sets. Tatra Mountains Mathematical Publications, Tome 45 (2010) . doi : 10.2478/tatra.v46i0.78. http://gdmltest.u-ga.fr/item/78/