The Open Graph Axiom and Menger's Conjecture

2018/03/22 by Franklin D. Tall, Tall, Franklin D., Stevo Todorčević +3
Computer Science · Mathematics · #03E15 #03E35 #03E45 (Secondary) #03E60 #54A25 #54D20 #54H05 (Primary) #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #General Topology (math.GN) #Limits and Structures in Graph Theory #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1803.08578

openalex publication_date 2018/03/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Menger conjectured that subsets of \mathbb R with the Menger property must be σ-compact. While this is false when there is no restriction on the subsets of \mathbb R, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We show that the perfect set version of the Open Graph Axiom for projective sets of reals, with consistency strength only an inaccessible cardinal, also implies Menger's conjecture restricted to this family of subsets of \mathbb R.

Related

• The Strength of Menger's Conjecture
• Completely Baire spaces, Menger spaces, and projective sets
• Definable versions of Menger's conjecture
• Menger's and Hurewicz's Problems: Solutions from "The Book" and refinements
• The Menger and projective Menger properties of function spaces with the\n set-open topology