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 ""; 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.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm167-3-2,
author = {G. Debs and J. Saint Raymond},
title = {Compact covering mappings and cofinal families of compact subsets of a Borel set},
journal = {Fundamenta Mathematicae},
volume = {167},
year = {2001},
pages = {213-249},
zbl = {0968.03052},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm167-3-2}
}
G. Debs; J. Saint Raymond. Compact covering mappings and cofinal families of compact subsets of a Borel set. Fundamenta Mathematicae, Tome 167 (2001) pp. 213-249. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm167-3-2/