Definable versions of Menger's conjecture

DOI10.1016/J.TOPOL.2020.107345MaRDI QIDQ6275631arXivWikidataFDO

Authors Franklin D. Tall

Publication date 16 July 2016

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.TOPOL.2020.107345

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Determinacy principles (03E60) Applications of set theory (03E75) Consistency and independence results in general topology (54A35) Local compactness, (sigma)-compactness (54D45) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

arXiv classification

math.GN

Abstract: Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces are /sigma-compact, but Menger continuous images of co-analytic spaces need not be. The general co-analytic case is still open, but many special cases are undecidable, in particular, Menger topological groups. We also prove that if there is a Michael space, then productively Lindelof Cech-complete spaces are /sigma-compact. We also give numerous characterizations of proper K-Lusin spaces. Our methods include the Axiom of Co-analytic Determinacy, non-metrizable descriptive set theory, and Arhangel'skii's work on generalized metric spaces.

This page was built for publication: Definable versions of Menger's conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6275631)