Completely Baire spaces, Menger spaces, and projective sets

Franklin D. Tall, Lyubomyr Zdomskyy

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to general…