SOCA and OGA for HL spaces with strong properties
Abstract
We study open colorings in certain classes of hereditary Lindel\"of (HL) spaces and submetrizable spaces. In particular, we show that the definible version for the Open Graph Axiom (OGA) holds for the class of HL strong Choquet submetrizable spaces extending a well-known result of Feng. Furthermore, we show the consistency of the Open Graph Axiom for regular spaces that have countable spread and it's square also has it, reaching closer to a well known conjecture of Todorcevi\'c: "It is consistent that all regular spaces with countable spread satisfy OGA".
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.