Todorčević's consistency conjecture for regular spaces of countable spread

Let XX) be a regular topological space with no uncountable discrete subspace. A space has countable spread when it contains no uncountable discrete subspace. The principle OGA(X)\mathsf{OGA}(X) denotes the open graph axiom for XX.

Todorčević's conjecture. It is relatively consistent with ZFC\mathsf{ZFC} that if XX is a regular space with no uncountable discrete subspace, then OGA(X)\mathsf{OGA}(X) holds.

This conjecture asks whether the topological hypotheses under which generalized open graph principles are known can be weakened to the essentially optimal assumption of regularity and countable spread. The source presents it as an open problem and attributes it to Todorčević.

Sources & referencesView supporting material

Primary source

José Antonio Corona-García, Iván Ongay-Valverde and Ulises Ariet Ramos-García, “SOCA and OGA for HL spaces with strong properties”, arXiv:2204.06650 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.