Wqo for continuous reducibility on real functions

Determine whether continuous reducibility is a well-quasi-order on the class of continuous real functions (functions from the real line to the real line).

Background

The paper contrasts settings where continuous reducibility is known to be bqo (zero-dimensional domains) with settings where related quasi-orders (like embeddability on [0,1]2) are analytic complete. The status for continuous real functions remains unsettled; resolving the wqo nature would clarify the boundary between tractable and intractable domains for continuous reducibility.

References

Question: Is continuous reducibility wqo on continuous real functions?

The same question is open for continuous functions on any uncountable Polish space that does not contain [0,1]2.

A well-quasi-order for continuous functions (2410.13150 - Carroy et al., 17 Oct 2024) in Section 7.3 (DirectionPolish)