Application of Hurewicz theorem to classification of $Π_1^1$-complete sets

In: Tatra Mountains Mathematical Publications, vol. 46, no. 2

Michal Staš

Detaily:

Rok, strany: 2010, 65 - 69

Kľúčové slová:

analytic set, coanalytic set, $\Pi_1^1$-complete set, hyperspace, $\mathbf{\sigma}$-ideal of compact sets, Hurewicz theorem.

Full text

O článku:

We present a simple proof of a dichotomy theorem by Kechris-Louveau-Woodin [Kechris, A. S., Louveau, A.: \textit{Descriptive set theory and the structure of sets of uniqueness,} London Math. Soc. Lecture Note Ser. \textbf{128} (1987), 104–138] telling that every $Π_1^1$ $σ$-ideal of compact subsets of a Polish space is either G$_δ$ or else $$Π_1^1$$-complete.

Ako citovať:

ISO 690:

Staš, M. 2010. Application of Hurewicz theorem to classification of $Π_1^1$-complete sets. In Tatra Mountains Mathematical Publications, vol. 46, no.2, pp. 65-69. 1210-3195.

APA:

Staš, M. (2010). Application of Hurewicz theorem to classification of $Π_1^1$-complete sets. Tatra Mountains Mathematical Publications, 46(2), 65-69. 1210-3195.