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.
@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/