Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
Among other results we prove that the topological statement "Any compact covering mapping between two Π⁰₃ spaces is inductively perfect" is equivalent to the set-theoretical statement "$∀α ∈ ω^{ω}, ω₁^{L(α)} < ω₁$"; and that the statement "Any compact covering mapping between two coanalytic spaces is inductively perfect" is equivalent to "Analytic Determinacy". We also prove that these statements are connected to some regularity properties of coanalytic cofinal sets in 𝒦(X), the hyperspace of all compact subsets of a Borel set X.
Słowa kluczowe
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
213-249
Opis fizyczny
Daty
wydano
2001
Twórcy
autor
- Equipe d'Analyse, Université Paris 6, Boîte 186, 4, place Jussieu, 75252 Paris CEDEX 05, France
autor
- Equipe d'Analyse, Université Paris 6, Boite 186, 4, place Jussieu, 75252 Paris CEDEX 05, France
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm167-3-2