Steprāns–Watson conjecture on Baumgartner axioms in finite powers of the reals

Let cmathsfBAcmathsf{BA} denote Baumgartner's axiom for the real line, and let cmathsfBA(X)cmathsf{BA}(X) be its parametrized version for a topological space XX. For a positive integer nn, write cmathbbRncmathbb R^n for the nn-dimensional Euclidean space. Steprāns–Watson conjecture. cmathsfBAcmathsf{BA} implies cmathsfBA(cmathbbRn)cmathsf{BA}(cmathbb R^n) for every finite n>1n>1. The conjecture asks whether the Baumgartner axiom for the real line implies its higher-dimensional analogues; the converse implication is known not to follow from the higher-dimensional axioms, while this direction remains open.

Sources & referencesView supporting material

Primary source

Corey Bacal Switzer, “Weak Baumgartner axioms and universal spaces”, arXiv:2502.10029 (2025).

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.